The dog does not eat the mouse. The dog is not cold. The dog likes the mouse. The dog visits the mouse. The dog does not visit the squirrel. The mouse eats the dog. The mouse is blue. The mouse is cold. The mouse is young. The mouse visits the squirrel. The squirrel is cold. The squirrel is green. The squirrel likes the mouse. The squirrel visits the dog. The squirrel visits the mouse. If the dog is nice then the dog is green. If something visits the mouse then the mouse is nice. If the mouse is nice and the mouse eats the dog then the dog is nice. If something visits the mouse and the mouse visits the dog then the dog eats the mouse. If something is nice and it visits the squirrel then the squirrel does not eat the dog. If the dog visits the squirrel and the dog does not eat the mouse then the squirrel visits the dog. If something visits the dog and it eats the mouse then the dog visits the squirrel. If something visits the mouse and it does not eat the dog then it eats the squirrel.
The squirrel likes the squirrel.
@0: The dog does not eat the mouse.[(triple1)] The dog does not visit the squirrel.[(triple5)] The dog is not cold.[(triple2)] The dog likes the mouse.[(triple3)] The dog visits the mouse.[(triple4)] The mouse eats the dog.[(triple6)] The mouse is blue.[(triple7)] The mouse is cold.[(triple8)] The mouse is young.[(triple9)] The mouse visits the squirrel.[(triple10)] The squirrel is cold.[(triple11)] The squirrel is green.[(triple12)] The squirrel likes the mouse.[(triple13)] The squirrel visits the dog.[(triple14)] The squirrel visits the mouse.[(triple15)] @1: The mouse is nice.[(((triple15) -> rule2) OR ((triple4) -> rule2))] @2: The dog is nice.[(((((triple15) -> rule2) triple6) -> rule3) OR ((((triple4) -> rule2) triple6) -> rule3))] The squirrel does not eat the dog.[(((((triple15) -> rule2) triple10) -> rule5) OR ((((triple4) -> rule2) triple10) -> rule5))] @3: The dog is green.[(((((((triple15) -> rule2) triple6) -> rule3)) -> rule1) OR ((((((triple4) -> rule2) triple6) -> rule3)) -> rule1))] The squirrel eats the squirrel.[(((triple15 ((((triple15) -> rule2) triple10) -> rule5)) -> rule8) OR ((triple15 ((((triple4) -> rule2) triple10) -> rule5)) -> rule8))]