The cow chases the squirrel. The cow is blue. The cow is round. The cow is young. The cow needs the squirrel. The cow sees the squirrel. The squirrel chases the cow. The squirrel is young. The squirrel needs the cow. The squirrel sees the cow. If the cow needs the squirrel and the squirrel sees the cow then the squirrel is big. If someone is big then they chase the squirrel. If the cow needs the squirrel and the cow is big then the cow is young. If someone sees the squirrel and they are blue then the squirrel needs the cow. If someone chases the squirrel then they are cold. If the squirrel needs the cow and the squirrel sees the cow then the cow needs the squirrel.
The cow does not see the squirrel.
@0: The cow chases the squirrel.[(triple1)] The cow is blue.[(triple2)] The cow is round.[(triple3)] The cow is young.[(triple4)] The cow needs the squirrel.[(triple5 OR ((triple9 triple10) -> rule6) OR ((((triple6 triple2) -> rule4) triple10) -> rule6))] The cow sees the squirrel.[(triple6)] The squirrel chases the cow.[(triple7)] The squirrel is young.[(triple8)] The squirrel needs the cow.[(triple9 OR ((triple6 triple2) -> rule4))] The squirrel sees the cow.[(triple10)] @1: The cow is cold.[(((triple1) -> rule5))] The squirrel is big.[(((triple5 triple10) -> rule1) OR ((((triple9 triple10) -> rule6) triple10) -> rule1) OR ((((((triple6 triple2) -> rule4) triple10) -> rule6) triple10) -> rule1))] @2: The squirrel chases the squirrel.[(((((triple5 triple10) -> rule1)) -> rule2) OR ((((((triple9 triple10) -> rule6) triple10) -> rule1)) -> rule2) OR ((((((((triple6 triple2) -> rule4) triple10) -> rule6) triple10) -> rule1)) -> rule2))] @3: The squirrel is cold.[(((((((triple5 triple10) -> rule1)) -> rule2)) -> rule5) OR ((((((((triple9 triple10) -> rule6) triple10) -> rule1)) -> rule2)) -> rule5) OR ((((((((((triple6 triple2) -> rule4) triple10) -> rule6) triple10) -> rule1)) -> rule2)) -> rule5))]