1:- use_module(library(trill)).    2
    3
    4:- trill. % or :- trillp. or :- tornado.
    5
    6propertyAssertion( tp, a, b).
    7propertyAssertion( tp, b, c).
    8transitiveProperty(tp).
    9symmetricProperty(tp).
   10inverseProperties(tp,tpi)