The cat chases the dog. The cat eats the dog. The cat is big. The cat is rough. The dog chases the cat. The dog eats the cat. The dog is big. The dog is blue. The dog is rough. The dog sees the cat. If someone chases the cat and the cat is blue then they eat the cat. If the dog is big and the dog chases the cat then the dog is young.
The cat does not eat the cat.
@0: The cat chases the dog.[(triple1)] The cat eats the dog.[(triple2)] The cat is big.[(triple3)] The cat is rough.[(triple4)] The dog chases the cat.[(triple5)] The dog eats the cat.[(triple6)] The dog is big.[(triple7)] The dog is blue.[(triple8)] The dog is rough.[(triple9)] The dog sees the cat.[(triple10)] @1: The dog is young.[(((triple7 triple5) -> rule2))]