The cat sees the rabbit. The cow sees the tiger. The rabbit needs the cow. The tiger is blue. If someone is big and they chase the rabbit then they see the tiger. If someone is blue then they chase the cow. If someone chases the cow then they are big. If someone is big then they chase the tiger. If someone chases the rabbit and they are big then the rabbit needs the cat. If someone chases the rabbit then the rabbit is blue. If someone is blue then they need the rabbit. If the cat is blue and the cat needs the tiger then the tiger chases the cow.
The cow sees the tiger.
@0: The cat sees the rabbit.[(triple1)] The cow sees the tiger.[(triple2)] The rabbit needs the cow.[(triple3)] The tiger is blue.[(triple4)] @1: The tiger chases the cow.[(((triple4) -> rule2))] The tiger needs the rabbit.[(((triple4) -> rule7))] @2: The tiger is big.[(((((triple4) -> rule2)) -> rule3))] @3: The tiger chases the tiger.[(((((((triple4) -> rule2)) -> rule3)) -> rule4))]