The cat eats the rabbit. The cat eats the tiger. The cat needs the rabbit. The cat needs the tiger. The dog is young. The rabbit eats the tiger. The rabbit is blue. The tiger needs the cat. The tiger needs the dog. The tiger needs the rabbit. The tiger visits the cat. The tiger visits the rabbit. If something needs the tiger then the tiger eats the dog. If something needs the tiger then the tiger eats the cat. If something is big and it needs the tiger then it is round.
The tiger is blue.
@0: The cat eats the rabbit.[(triple1)] The cat eats the tiger.[(triple2)] The cat needs the rabbit.[(triple3)] The cat needs the tiger.[(triple4)] The dog is young.[(triple5)] The rabbit eats the tiger.[(triple6)] The rabbit is blue.[(triple7)] The tiger needs the cat.[(triple8)] The tiger needs the dog.[(triple9)] The tiger needs the rabbit.[(triple10)] The tiger visits the cat.[(triple11)] The tiger visits the rabbit.[(triple12)] @1: The tiger eats the cat.[(((triple4) -> rule2))] The tiger eats the dog.[(((triple4) -> rule1))]