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