The cat does not chase the tiger. The cat is nice. The cat likes the cow. The cat likes the tiger. The cow likes the tiger. The cow does not visit the cat. The tiger is round. If something is nice and it chases the cat then it visits the cat. If something is nice then it visits the tiger.
The tiger visits the cat.
@0: The cat does not chase the tiger.[(triple1)] The cat is nice.[(triple2)] The cat likes the cow.[(triple3)] The cat likes the tiger.[(triple4)] The cow does not visit the cat.[(triple6)] The cow likes the tiger.[(triple5)] The tiger is round.[(triple7)] @1: The cat visits the tiger.[(((triple2) -> rule2))]