The dog chases the mouse. The dog eats the mouse. The dog is blue. The dog is green. The dog is kind. The dog is round. The dog is young. The dog sees the mouse. The mouse chases the dog. The mouse eats the dog. The mouse is blue. The mouse is kind. The mouse is round. The mouse is young. The mouse sees the dog. If someone is round and they eat the mouse then they eat the dog. If someone is young and round then they chase the dog.
The mouse eats the mouse.
@0: The dog chases the mouse.[(triple1)] The dog eats the mouse.[(triple2)] The dog is blue.[(triple3)] The dog is green.[(triple4)] The dog is kind.[(triple5)] The dog is round.[(triple6)] The dog is young.[(triple7)] The dog sees the mouse.[(triple8)] The mouse chases the dog.[(triple9 OR ((triple14 triple13) -> rule2))] The mouse eats the dog.[(triple10)] The mouse is blue.[(triple11)] The mouse is kind.[(triple12)] The mouse is round.[(triple13)] The mouse is young.[(triple14)] The mouse sees the dog.[(triple15)] @1: The dog chases the dog.[(((triple7 triple6) -> rule2))] The dog eats the dog.[(((triple6 triple2) -> rule1))]