The dog eats the mouse. The dog is cold. The dog is green. The dog is kind. The dog is rough. The dog is round. The dog sees the mouse. The dog visits the mouse. The mouse eats the dog. The mouse is cold. The mouse is green. The mouse is rough. The mouse is round. The mouse sees the dog. The mouse visits the dog. If something sees the dog then it eats the dog. If something eats the mouse then it sees the mouse. If something sees the mouse then it visits the mouse. If something visits the dog and the dog is rough then it eats the mouse. If the mouse sees the dog then the dog sees the mouse. If the dog sees the mouse then the dog is green.
The mouse does not see the mouse.
@0: The dog eats the mouse.[(triple1)] The dog is cold.[(triple2)] The dog is green.[(triple3 OR ((triple7) -> rule6) OR ((((triple1) -> rule2)) -> rule6) OR ((((triple14) -> rule5)) -> rule6))] The dog is kind.[(triple4)] The dog is rough.[(triple5)] The dog is round.[(triple6)] The dog sees the mouse.[(triple7 OR ((triple1) -> rule2) OR ((triple14) -> rule5))] The dog visits the mouse.[(triple8 OR ((triple7) -> rule3) OR ((((triple1) -> rule2)) -> rule3) OR ((((triple14) -> rule5)) -> rule3))] The mouse eats the dog.[(triple9 OR ((triple14) -> rule1))] The mouse is cold.[(triple10)] The mouse is green.[(triple11)] The mouse is rough.[(triple12)] The mouse is round.[(triple13)] The mouse sees the dog.[(triple14)] The mouse visits the dog.[(triple15)] @1: The mouse eats the mouse.[(((triple15 triple5) -> rule4))] @2: The mouse sees the mouse.[(((((triple15 triple5) -> rule4)) -> rule2))] @3: The mouse visits the mouse.[(((((((triple15 triple5) -> rule4)) -> rule2)) -> rule3))]