The cow is red. The cow is not round. The cow likes the squirrel. The cow needs the lion. The lion needs the cow. The lion does not visit the squirrel. The squirrel is blue. The squirrel is red. The squirrel likes the lion. The squirrel needs the lion. If something likes the squirrel and it is round then it visits the cow. If something needs the squirrel then it is not round. If something likes the squirrel then the squirrel visits the lion. If the squirrel visits the cow and the squirrel likes the lion then the cow likes the squirrel. All red things are blue. If something visits the lion then it needs the squirrel.
The cow does not need the cow.
@0: The cow is not round.[(triple2)] The cow is red.[(triple1)] The cow likes the squirrel.[(triple3)] The cow needs the lion.[(triple4)] The lion does not visit the squirrel.[(triple6)] The lion needs the cow.[(triple5)] The squirrel is blue.[(triple7 OR ((triple8) -> rule5))] The squirrel is red.[(triple8)] The squirrel likes the lion.[(triple9)] The squirrel needs the lion.[(triple10)] @1: The cow is blue.[(((triple1) -> rule5))] The squirrel visits the lion.[(((triple3) -> rule3))] @2: The squirrel needs the squirrel.[(((((triple3) -> rule3)) -> rule6))] @3: The squirrel is not round.[(((((((triple3) -> rule3)) -> rule6)) -> rule2))]