The cat chases the tiger. The cat likes the rabbit. The rabbit chases the squirrel. The rabbit does not chase the tiger. The rabbit is not big. The squirrel visits the rabbit. The squirrel visits the tiger. The tiger chases the rabbit. The tiger chases the squirrel. The tiger visits the squirrel. If something visits the tiger then the tiger is kind. If something chases the rabbit and it is kind then the rabbit likes the tiger.
The cat is cold.
@0: The cat chases the tiger.[(triple1)] The cat likes the rabbit.[(triple2)] The rabbit chases the squirrel.[(triple3)] The rabbit does not chase the tiger.[(triple4)] The rabbit is not big.[(triple5)] The squirrel visits the rabbit.[(triple6)] The squirrel visits the tiger.[(triple7)] The tiger chases the rabbit.[(triple8)] The tiger chases the squirrel.[(triple9)] The tiger visits the squirrel.[(triple10)] @1: The tiger is kind.[(((triple7) -> rule1))] @2: The rabbit likes the tiger.[(((triple8 ((triple7) -> rule1)) -> rule2))]