The cow eats the squirrel. The cow is big. The cow is cold. The cow is round. The cow needs the mouse. The cow needs the squirrel. The mouse eats the squirrel. The mouse is cold. The mouse is red. The mouse needs the cow. The mouse needs the squirrel. The rabbit needs the cow. The squirrel eats the cow. The squirrel likes the cow. The squirrel likes the rabbit. The squirrel needs the mouse. If something eats the squirrel then the squirrel is cold. If something needs the rabbit and the rabbit is big then it is big. If something eats the cow and the cow likes the rabbit then the rabbit likes the squirrel. If the mouse likes the rabbit and the rabbit is big then the rabbit needs the squirrel. If something likes the cow and the cow is nice then the cow likes the mouse. If the cow is red then the cow is nice. If something needs the mouse then it is red. If something is nice and it needs the squirrel then it is cold.
The cow is not nice.
@0: The cow eats the squirrel.[(triple1)] The cow is big.[(triple2)] The cow is cold.[(triple3 OR ((((((triple5) -> rule7)) -> rule6) triple6) -> rule8))] The cow is round.[(triple4)] The cow needs the mouse.[(triple5)] The cow needs the squirrel.[(triple6)] The mouse eats the squirrel.[(triple7)] The mouse is cold.[(triple8)] The mouse is red.[(triple9)] The mouse needs the cow.[(triple10)] The mouse needs the squirrel.[(triple11)] The rabbit needs the cow.[(triple12)] The squirrel eats the cow.[(triple13)] The squirrel likes the cow.[(triple14)] The squirrel likes the rabbit.[(triple15)] The squirrel needs the mouse.[(triple16)] @1: The cow is red.[(((triple5) -> rule7))] The squirrel is cold.[(((triple1) -> rule1) OR ((triple7) -> rule1))] The squirrel is red.[(((triple16) -> rule7))] @2: The cow is nice.[(((((triple5) -> rule7)) -> rule6))] @3: The cow likes the mouse.[(((triple14 ((((triple5) -> rule7)) -> rule6)) -> rule5))]