The cat eats the tiger. The cat is cold. The cat is nice. The cat likes the dog. The cat visits the tiger. The cow is rough. The dog is nice. The tiger eats the dog. The tiger visits the cat. The tiger visits the dog. If something is nice and it visits the tiger then the tiger visits the cow. If something is rough and it likes the dog then the dog is big. If something visits the cat and the cat eats the tiger then the cat is rough.
The tiger does not visit the dog.
@0: The cat eats the tiger.[(triple1)] The cat is cold.[(triple2)] The cat is nice.[(triple3)] The cat likes the dog.[(triple4)] The cat visits the tiger.[(triple5)] The cow is rough.[(triple6)] The dog is nice.[(triple7)] The tiger eats the dog.[(triple8)] The tiger visits the cat.[(triple9)] The tiger visits the dog.[(triple10)] @1: The cat is rough.[(((triple9 triple1) -> rule3))] The tiger visits the cow.[(((triple3 triple5) -> rule1))] @2: The dog is big.[(((((triple9 triple1) -> rule3) triple4) -> rule2))]