The dog eats the squirrel. The dog is kind. The dog is young. The mouse eats the squirrel. The mouse is kind. The mouse is not round. The mouse is young. The mouse sees the dog. The squirrel does not eat the mouse. The squirrel sees the mouse. If something sees the dog then it does not see the squirrel. If something is young and it sees the dog then it eats the squirrel. If something is red and not young then it is round. If something visits the dog and it eats the dog then the dog visits the mouse. If something visits the mouse and it is not round then it does not eat the mouse. If something eats the mouse then the mouse eats the dog. If something eats the mouse then it does not visit the mouse. If something visits the mouse and the mouse visits the dog then it does not see the mouse.
The dog is not young.
@0: The dog eats the squirrel.[(triple1)] The dog is kind.[(triple2)] The dog is young.[(triple3)] The mouse eats the squirrel.[(triple4 OR ((triple7 triple8) -> rule2))] The mouse is kind.[(triple5)] The mouse is not round.[(triple6)] The mouse is young.[(triple7)] The mouse sees the dog.[(triple8)] The squirrel does not eat the mouse.[(triple9)] The squirrel sees the mouse.[(triple10)] @1: The mouse does not see the squirrel.[(((triple8) -> rule1))]