The cow eats the dog. The cow is blue. The cow is green. The cow is kind. The cow is red. The cow is round. The dog chases the cow. The dog is green. The dog is red. The dog sees the cow. If something chases the cow then it eats the cow.
The dog eats the dog.
@0: The cow eats the dog.[(triple1)] The cow is blue.[(triple2)] The cow is green.[(triple3)] The cow is kind.[(triple4)] The cow is red.[(triple5)] The cow is round.[(triple6)] The dog chases the cow.[(triple7)] The dog is green.[(triple8)] The dog is red.[(triple9)] The dog sees the cow.[(triple10)] @1: The dog eats the cow.[(((triple7) -> rule1))]