The dog eats the mouse. The dog is blue. The dog is cold. The dog is kind. The dog is rough. The dog is round. The dog needs the mouse. The dog sees the mouse. The mouse is cold. The mouse is kind. The mouse is rough. The mouse sees the dog. If something needs the dog and the dog eats the mouse then it is rough. If something is kind then it eats the mouse.
The mouse sees the mouse.
@0: The dog eats the mouse.[(triple1 OR ((triple4) -> rule2))] The dog is blue.[(triple2)] The dog is cold.[(triple3)] The dog is kind.[(triple4)] The dog is rough.[(triple5)] The dog is round.[(triple6)] The dog needs the mouse.[(triple7)] The dog sees the mouse.[(triple8)] The mouse is cold.[(triple9)] The mouse is kind.[(triple10)] The mouse is rough.[(triple11)] The mouse sees the dog.[(triple12)] @1: The mouse eats the mouse.[(((triple10) -> rule2))]