The cat chases the mouse. The cat chases the squirrel. The cat eats the mouse. The cat is cold. The cat is rough. The cat visits the mouse. The cat visits the squirrel. The mouse chases the squirrel. The mouse eats the squirrel. The mouse is not rough. The mouse visits the cat. The mouse does not visit the squirrel. The squirrel chases the cat. The squirrel does not eat the mouse. The squirrel is not rough. The squirrel visits the cat. If someone eats the squirrel and the squirrel chases the cat then the cat is rough. If someone eats the cat then the cat eats the squirrel. All big people are not rough. If someone is nice and they visit the squirrel then the squirrel eats the cat. If someone chases the mouse and the mouse does not visit the cat then the cat visits the mouse. If someone chases the squirrel then they are nice.
The cat does not visit the cat.
@0: The cat chases the mouse.[(triple1)] The cat chases the squirrel.[(triple2)] The cat eats the mouse.[(triple3)] The cat is cold.[(triple4)] The cat is rough.[(triple5 OR ((triple9 triple13) -> rule1) OR ((((((((triple2) -> rule6) triple7) -> rule4)) -> rule2) triple13) -> rule1))] The cat visits the mouse.[(triple6)] The cat visits the squirrel.[(triple7)] The mouse chases the squirrel.[(triple8)] The mouse does not visit the squirrel.[(triple12)] The mouse eats the squirrel.[(triple9)] The mouse is not rough.[(triple10)] The mouse visits the cat.[(triple11)] The squirrel chases the cat.[(triple13)] The squirrel does not eat the mouse.[(triple14)] The squirrel is not rough.[(triple15)] The squirrel visits the cat.[(triple16)] @1: The cat is nice.[(((triple2) -> rule6))] The mouse is nice.[(((triple8) -> rule6))] @2: The squirrel eats the cat.[(((((triple2) -> rule6) triple7) -> rule4))] @3: The cat eats the squirrel.[(((((((triple2) -> rule6) triple7) -> rule4)) -> rule2))]