The cow chases the rabbit. The cow chases the tiger. The cow sees the tiger. The dog eats the tiger. The dog is blue. The dog sees the tiger. The rabbit chases the cow. The rabbit is blue. The tiger chases the rabbit. The tiger sees the rabbit. If someone sees the dog and the dog is blue then the dog is big. If someone is blue and nice then they chase the rabbit. If someone chases the cow and they chase the tiger then they see the tiger. If the cow sees the rabbit and the cow chases the rabbit then the rabbit sees the cow. If someone is big and they eat the dog then the dog chases the tiger. All blue people are nice.
The dog sees the tiger.
@0: The cow chases the rabbit.[(triple1)] The cow chases the tiger.[(triple2)] The cow sees the tiger.[(triple3)] The dog eats the tiger.[(triple4)] The dog is blue.[(triple5)] The dog sees the tiger.[(triple6)] The rabbit chases the cow.[(triple7)] The rabbit is blue.[(triple8)] The tiger chases the rabbit.[(triple9)] The tiger sees the rabbit.[(triple10)] @1: The dog is nice.[(((triple5) -> rule6))] The rabbit is nice.[(((triple8) -> rule6))] @2: The dog chases the rabbit.[(((triple5 ((triple5) -> rule6)) -> rule2))] The rabbit chases the rabbit.[(((triple8 ((triple8) -> rule6)) -> rule2))]