The bear eats the cat. The bear eats the dog. The bear is nice. The bear is young. The cat is young. The cat sees the dog. The dog does not eat the cat. The dog is big. The dog is nice. The dog is red. If someone sees the dog and the dog is red then they eat the cat. If someone is red and they chase the dog then the dog is nice. If someone chases the cat then they do not see the dog.
The cat does not eat the cat.
@0: The bear eats the cat.[(triple1)] The bear eats the dog.[(triple2)] The bear is nice.[(triple3)] The bear is young.[(triple4)] The cat is young.[(triple5)] The cat sees the dog.[(triple6)] The dog does not eat the cat.[(triple7)] The dog is big.[(triple8)] The dog is nice.[(triple9)] The dog is red.[(triple10)] @1: The cat eats the cat.[(((triple6 triple10) -> rule1))]