The cow eats the squirrel. The cow is nice. The cow is red. The cow sees the squirrel. The squirrel chases the cow. The squirrel does not eat the cow. The squirrel is blue. The squirrel is red. The squirrel is not rough. The squirrel sees the cow. If something is nice and it sees the cow then the cow chases the squirrel. If something chases the cow and the cow is not nice then the cow eats the squirrel. If something chases the cow then it is blue. If something chases the squirrel and the squirrel is blue then the squirrel does not chase the cow. If the cow eats the squirrel and the squirrel chases the cow then the squirrel sees the cow. If something is red then it chases the cow. If something is blue then it is young. If the squirrel sees the cow and the cow does not eat the squirrel then the cow is blue.
The cow does not eat the cow.
@0: The cow eats the squirrel.[(triple1)] The cow is nice.[(triple2)] The cow is red.[(triple3)] The cow sees the squirrel.[(triple4)] The squirrel chases the cow.[(triple5 OR ((triple8) -> rule6))] The squirrel does not eat the cow.[(triple6)] The squirrel is blue.[(triple7 OR ((triple5) -> rule3) OR ((((triple8) -> rule6)) -> rule3))] The squirrel is not rough.[(triple9)] The squirrel is red.[(triple8)] The squirrel sees the cow.[(triple10 OR ((triple1 triple5) -> rule5) OR ((triple1 ((triple8) -> rule6)) -> rule5))] @1: The cow chases the cow.[(((triple3) -> rule6))] The squirrel is young.[(((triple7) -> rule7) OR ((((triple5) -> rule3)) -> rule7) OR ((((((triple8) -> rule6)) -> rule3)) -> rule7))] @2: The cow is blue.[(((((triple3) -> rule6)) -> rule3))] @3: The cow is young.[(((((((triple3) -> rule6)) -> rule3)) -> rule7))]