The dog eats the mouse. The dog is blue. The dog is kind. The dog is nice. The dog is rough. The dog is young. The dog needs the mouse. The dog sees the mouse. The mouse does not eat the dog. The mouse needs the dog. If something sees the dog then it eats the mouse. If something is young then it is kind. If something needs the mouse and it is kind then the mouse sees the dog. If something needs the dog and it is not kind then the dog does not see the mouse. If the dog needs the mouse and the dog does not see the mouse then the dog eats the mouse. If something eats the mouse then it is nice.
The mouse does not eat the mouse.
@0: The dog eats the mouse.[(triple1)] The dog is blue.[(triple2)] The dog is kind.[(triple3 OR ((triple6) -> rule2))] The dog is nice.[(triple4 OR ((triple1) -> rule6))] The dog is rough.[(triple5)] The dog is young.[(triple6)] The dog needs the mouse.[(triple7)] The dog sees the mouse.[(triple8)] The mouse does not eat the dog.[(triple9)] The mouse needs the dog.[(triple10)] @1: The mouse sees the dog.[(((triple7 triple3) -> rule3) OR ((triple7 ((triple6) -> rule2)) -> rule3))] @2: The mouse eats the mouse.[(((((triple7 triple3) -> rule3)) -> rule1) OR ((((triple7 ((triple6) -> rule2)) -> rule3)) -> rule1))] @3: The mouse is nice.[(((((((triple7 triple3) -> rule3)) -> rule1)) -> rule6) OR ((((((triple7 ((triple6) -> rule2)) -> rule3)) -> rule1)) -> rule6))]