The cow eats the squirrel. The cow is big. The cow is kind. The cow is nice. The cow is red. The cow is young. The cow likes the squirrel. The cow visits the squirrel. The squirrel eats the cow. The squirrel is big. If something visits the squirrel and it likes the cow then it likes the squirrel. If something eats the cow and it visits the squirrel then the cow is young. If something likes the cow and the cow eats the squirrel then the squirrel is nice. If something likes the cow and the cow is kind then it is red. If something eats the squirrel and it likes the cow then the squirrel visits the cow. If the squirrel visits the cow then the squirrel likes the cow. If something visits the squirrel then it is young. If something is big then it visits the squirrel.
The cow is nice.
@0: The cow eats the squirrel.[(triple1)] The cow is big.[(triple2)] The cow is kind.[(triple3)] The cow is nice.[(triple4)] The cow is red.[(triple5)] The cow is young.[(triple6 OR ((triple8) -> rule7) OR ((((triple2) -> rule8)) -> rule7) OR ((triple9 ((triple10) -> rule8)) -> rule2))] The cow likes the squirrel.[(triple7)] The cow visits the squirrel.[(triple8 OR ((triple2) -> rule8))] The squirrel eats the cow.[(triple9)] The squirrel is big.[(triple10)] @1: The squirrel visits the squirrel.[(((triple10) -> rule8))] @2: The squirrel is young.[(((((triple10) -> rule8)) -> rule7))]