The cat sees the cow. The cow chases the cat. The cow chases the tiger. The cow is cold. The cow is young. The tiger is nice. The tiger visits the cat. If something is young then it visits the tiger. If something is young then it chases the cat. If something sees the cow and the cow visits the tiger then it is young.
The tiger is not nice.
@0: The cat sees the cow.[(triple1)] The cow chases the cat.[(triple2 OR ((triple5) -> rule2))] The cow chases the tiger.[(triple3)] The cow is cold.[(triple4)] The cow is young.[(triple5)] The tiger is nice.[(triple6)] The tiger visits the cat.[(triple7)] @1: The cow visits the tiger.[(((triple5) -> rule1))] @2: The cat is young.[(((triple1 ((triple5) -> rule1)) -> rule3))] @3: The cat chases the cat.[(((((triple1 ((triple5) -> rule1)) -> rule3)) -> rule2))] The cat visits the tiger.[(((((triple1 ((triple5) -> rule1)) -> rule3)) -> rule1))]