The cow is kind. The cow sees the squirrel. The mouse eats the cow. The mouse eats the squirrel. The mouse is big. The mouse is cold. The mouse is kind. The mouse is round. The mouse sees the cow. The mouse sees the squirrel. The mouse visits the cow. The mouse visits the squirrel. The squirrel eats the cow. The squirrel is big. The squirrel is rough. If someone visits the mouse then the mouse sees the cow. If someone sees the squirrel then the squirrel eats the mouse. If someone eats the mouse then they are cold. If someone visits the cow then the cow visits the squirrel. If someone is kind and they visit the squirrel then they eat the mouse. If someone eats the squirrel then they see the squirrel.
The cow does not eat the squirrel.
@0: The cow is kind.[(triple1)] The cow sees the squirrel.[(triple2)] The mouse eats the cow.[(triple3)] The mouse eats the squirrel.[(triple4)] The mouse is big.[(triple5)] The mouse is cold.[(triple6 OR ((((triple7 triple12) -> rule5)) -> rule3))] The mouse is kind.[(triple7)] The mouse is round.[(triple8)] The mouse sees the cow.[(triple9)] The mouse sees the squirrel.[(triple10 OR ((triple4) -> rule6))] The mouse visits the cow.[(triple11)] The mouse visits the squirrel.[(triple12)] The squirrel eats the cow.[(triple13)] The squirrel is big.[(triple14)] The squirrel is rough.[(triple15)] @1: The cow visits the squirrel.[(((triple11) -> rule4))] The mouse eats the mouse.[(((triple7 triple12) -> rule5))] The squirrel eats the mouse.[(((triple10) -> rule2) OR ((triple2) -> rule2) OR ((((triple4) -> rule6)) -> rule2))] @2: The cow eats the mouse.[(((triple1 ((triple11) -> rule4)) -> rule5))] The squirrel is cold.[(((((triple10) -> rule2)) -> rule3) OR ((((triple2) -> rule2)) -> rule3) OR ((((((triple4) -> rule6)) -> rule2)) -> rule3))] @3: The cow is cold.[(((((triple1 ((triple11) -> rule4)) -> rule5)) -> rule3))]