The mouse does not eat the squirrel. The mouse is not big. The mouse is nice. The mouse is rough. The mouse visits the squirrel. The squirrel likes the mouse. The squirrel visits the mouse. If something visits the mouse and it is not young then it does not like the mouse. If something visits the squirrel and the squirrel visits the mouse then it is not cold. If something eats the squirrel then it does not visit the squirrel. If something is nice and it visits the mouse then the mouse is big. If the mouse is nice and the mouse visits the squirrel then the squirrel visits the mouse. If something likes the mouse and it does not eat the mouse then the mouse is not rough. If something likes the squirrel then the squirrel is rough. If something is big and it does not visit the mouse then the mouse likes the squirrel.
The mouse likes the mouse.
@0: The mouse does not eat the squirrel.[(triple1)] The mouse is nice.[(triple3)] The mouse is not big.[(triple2)] The mouse is rough.[(triple4)] The mouse visits the squirrel.[(triple5)] The squirrel likes the mouse.[(triple6)] The squirrel visits the mouse.[(triple7 OR ((triple3 triple5) -> rule5))] @1: The mouse is not cold.[(((triple5 triple7) -> rule2) OR ((triple5 ((triple3 triple5) -> rule5)) -> rule2))]