The dog eats the mouse. The dog is cold. The dog is nice. The dog sees the mouse. The mouse eats the dog. The mouse is cold. The mouse is green. The mouse is nice. The mouse needs the dog. The mouse sees the dog. If something is big and it needs the mouse then the mouse needs the dog. If something needs the dog then the dog sees the mouse. If something is cold and it needs the dog then it sees the dog. If something needs the mouse and the mouse sees the dog then it needs the dog. If something eats the mouse and the mouse sees the dog then the mouse is kind. If something needs the mouse then it sees the mouse. If the dog needs the mouse and the mouse eats the dog then the dog is cold. If something eats the dog then it needs the dog.
The dog is big.
@0: The dog eats the mouse.[(triple1)] The dog is cold.[(triple2)] The dog is nice.[(triple3)] The dog sees the mouse.[(triple4 OR ((triple9) -> rule2) OR ((((triple5) -> rule8)) -> rule2))] The mouse eats the dog.[(triple5)] The mouse is cold.[(triple6)] The mouse is green.[(triple7)] The mouse is nice.[(triple8)] The mouse needs the dog.[(triple9 OR ((triple5) -> rule8))] The mouse sees the dog.[(triple10 OR ((triple6 triple9) -> rule3) OR ((triple6 ((triple5) -> rule8)) -> rule3))] @1: The mouse is kind.[(((triple1 triple10) -> rule5) OR ((triple1 ((triple6 triple9) -> rule3)) -> rule5) OR ((triple1 ((triple6 ((triple5) -> rule8)) -> rule3)) -> rule5))]