The cow chases the squirrel. The cow is blue. The cow is cold. The cow is green. The cow is round. The cow needs the squirrel. The cow sees the squirrel. The squirrel chases the cow. The squirrel is round. The squirrel needs the cow. If something sees the squirrel then it is blue. If something chases the cow and it chases the squirrel then it sees the cow. If something sees the cow then it is cold. If something needs the cow then it needs the squirrel. If something needs the cow then it chases the squirrel. If something sees the squirrel then the squirrel needs the cow. If something is rough and it does not need the cow then the cow needs the squirrel. If the squirrel sees the cow and the cow needs the squirrel then the squirrel is blue.
The cow does not see the cow.
@0: The cow chases the squirrel.[(triple1)] The cow is blue.[(triple2 OR ((triple7) -> rule1))] The cow is cold.[(triple3)] The cow is green.[(triple4)] The cow is round.[(triple5)] The cow needs the squirrel.[(triple6)] The cow sees the squirrel.[(triple7)] The squirrel chases the cow.[(triple8)] The squirrel is round.[(triple9)] The squirrel needs the cow.[(triple10 OR ((triple7) -> rule6))] @1: The squirrel chases the squirrel.[(((triple10) -> rule5) OR ((((triple7) -> rule6)) -> rule5))] The squirrel needs the squirrel.[(((triple10) -> rule4) OR ((((triple7) -> rule6)) -> rule4))] @2: The squirrel sees the cow.[(((triple8 ((triple10) -> rule5)) -> rule2) OR ((triple8 ((((triple7) -> rule6)) -> rule5)) -> rule2))] @3: The squirrel is blue.[(((((triple8 ((triple10) -> rule5)) -> rule2) triple6) -> rule8) OR ((((triple8 ((((triple7) -> rule6)) -> rule5)) -> rule2) triple6) -> rule8))] The squirrel is cold.[(((((triple8 ((triple10) -> rule5)) -> rule2)) -> rule3) OR ((((triple8 ((((triple7) -> rule6)) -> rule5)) -> rule2)) -> rule3))]