The cat eats the tiger. The cat sees the tiger. The cat visits the lion. The cat visits the tiger. The lion sees the cat. The tiger sees the cat. The tiger visits the cat. If something is blue and it eats the lion then the lion eats the cat. If the cat eats the tiger then the tiger is blue. If something is rough then it visits the lion.
The tiger does not visit the lion.
@0: The cat eats the tiger.[(triple1)] The cat sees the tiger.[(triple2)] The cat visits the lion.[(triple3)] The cat visits the tiger.[(triple4)] The lion sees the cat.[(triple5)] The tiger sees the cat.[(triple6)] The tiger visits the cat.[(triple7)] @1: The tiger is blue.[(((triple1) -> rule2))]