# Axiom for truth
#
@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@prefix : <#> .

@forAll :x, :y, :z.

{ { :x :y :z } a log:Truth .  } log:implies { :x :y :z } . 

{ :sky :is :blue } a log:Truth .

# ends