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