The cat chases the tiger. The cow sees the cat. The tiger is young. If something is nice and it chases the cow then the cow sees the tiger. If the cow sees the cat and the cat visits the cow then the cow visits the cat. If something is young then it is round. If the tiger is nice then the tiger visits the cat. If something is round then it sees the cow. If the tiger sees the cow then the cow visits the tiger.
The tiger is not nice.
@0: The cat chases the tiger.[(triple1)] The cow sees the cat.[(triple2)] The tiger is young.[(triple3)] @1: The tiger is round.[(((triple3) -> rule3))] @2: The tiger sees the cow.[(((((triple3) -> rule3)) -> rule5))] @3: The cow visits the tiger.[(((((((triple3) -> rule3)) -> rule5)) -> rule6))]