The dog is green. The dog is nice. The dog is red. The dog likes the mouse. The dog likes the squirrel. The dog visits the mouse. The mouse eats the squirrel. The mouse likes the dog. The mouse likes the squirrel. The mouse visits the dog. The mouse visits the squirrel. The squirrel eats the dog. The squirrel is rough. The squirrel likes the dog. The squirrel likes the mouse. The squirrel visits the dog. If the dog eats the squirrel and the dog visits the mouse then the mouse is green. If something is cold then it likes the mouse. If something visits the mouse then it is cold. If something eats the mouse then it is green. If something is red then it likes the squirrel. If the mouse is green then the mouse likes the dog.
The squirrel eats the squirrel.
@0: The dog is green.[(triple1)] The dog is nice.[(triple2)] The dog is red.[(triple3)] The dog likes the mouse.[(triple4 OR ((((triple6) -> rule3)) -> rule2))] The dog likes the squirrel.[(triple5 OR ((triple3) -> rule5))] The dog visits the mouse.[(triple6)] The mouse eats the squirrel.[(triple7)] The mouse likes the dog.[(triple8)] The mouse likes the squirrel.[(triple9)] The mouse visits the dog.[(triple10)] The mouse visits the squirrel.[(triple11)] The squirrel eats the dog.[(triple12)] The squirrel is rough.[(triple13)] The squirrel likes the dog.[(triple14)] The squirrel likes the mouse.[(triple15)] The squirrel visits the dog.[(triple16)] @1: The dog is cold.[(((triple6) -> rule3))]