The bear is red. The cow eats the tiger. The dog visits the bear. The tiger is nice. If someone visits the dog then the dog sees the bear. If someone visits the dog and they eat the cow then the cow visits the dog. If someone sees the bear and the bear eats the tiger then they visit the dog. If someone visits the tiger then the tiger sees the dog. If someone is nice then they are big. If someone is big then they visit the tiger.
The cow is not big.
@0: The bear is red.[(triple1)] The cow eats the tiger.[(triple2)] The dog visits the bear.[(triple3)] The tiger is nice.[(triple4)] @1: The tiger is big.[(((triple4) -> rule5))] @2: The tiger visits the tiger.[(((((triple4) -> rule5)) -> rule6))] @3: The tiger sees the dog.[(((((((triple4) -> rule5)) -> rule6)) -> rule4))]