The cow chases the squirrel. The cow is big. The cow is blue. The cow is cold. The cow is green. The cow is kind. The cow likes the squirrel. The cow visits the squirrel. The squirrel chases the cow. The squirrel is big. The squirrel is blue. The squirrel is cold. The squirrel is green. The squirrel is kind. The squirrel likes the cow. The squirrel visits the cow. If something is big and cold then it is blue. If the squirrel is cold and the squirrel is kind then the squirrel likes the cow. If something chases the squirrel then the squirrel likes the cow. If something visits the cow and the cow likes the squirrel then it chases the cow. If something chases the cow and the cow likes the squirrel then it visits the cow. If something is green then it chases the cow.
The cow does not like the cow.
@0: The cow chases the squirrel.[(triple1)] The cow is big.[(triple2)] The cow is blue.[(triple3 OR ((triple2 triple4) -> rule1))] The cow is cold.[(triple4)] The cow is green.[(triple5)] The cow is kind.[(triple6)] The cow likes the squirrel.[(triple7)] The cow visits the squirrel.[(triple8)] The squirrel chases the cow.[(triple9 OR ((triple13) -> rule6) OR ((triple16 triple7) -> rule4))] The squirrel is big.[(triple10)] The squirrel is blue.[(triple11 OR ((triple10 triple12) -> rule1))] The squirrel is cold.[(triple12)] The squirrel is green.[(triple13)] The squirrel is kind.[(triple14)] The squirrel likes the cow.[(triple15 OR ((triple1) -> rule3) OR ((triple12 triple14) -> rule2))] The squirrel visits the cow.[(triple16 OR ((triple9 triple7) -> rule5) OR ((((triple13) -> rule6) triple7) -> rule5))] @1: The cow chases the cow.[(((triple5) -> rule6))] @2: The cow visits the cow.[(((((triple5) -> rule6) triple7) -> rule5))]