The cat is young. The cow sees the cat. The dog sees the cow. The rabbit is red. If something is blue and it sees the dog then the dog is nice. If something sees the rabbit and the rabbit sees the cow then the cow eats the cat. If something eats the cow and the cow sees the cat then it chases the rabbit. If something sees the dog and the dog is round then the dog is nice. If something is red and it eats the dog then the dog is blue. If something sees the cow and the cow is red then it sees the dog. If something sees the cat then it eats the cow. If something eats the dog then the dog eats the rabbit.
The cow does not see the dog.
@0: The cat is young.[(triple1)] The cow sees the cat.[(triple2)] The dog sees the cow.[(triple3)] The rabbit is red.[(triple4)] @1: The cow eats the cow.[(((triple2) -> rule7))] @2: The cow chases the rabbit.[(((((triple2) -> rule7) triple2) -> rule3))]