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