The cow chases the squirrel. 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 kind. The squirrel is red. The squirrel is young. The squirrel needs the cow. If something is kind and it visits the cow then it visits the squirrel. If something chases the squirrel and it is young then the squirrel visits the cow. If something needs the squirrel then the squirrel chases the cow. If something visits the squirrel and it chases the cow then it needs the cow. If something visits the squirrel then it chases the squirrel. If the cow is cold and the cow is kind then the cow visits the squirrel.
The cow does not visit the cow.
@0: The cow chases the squirrel.[(triple1 OR ((triple4) -> rule5))] The cow is young.[(triple2)] The cow needs the squirrel.[(triple3)] The cow visits the squirrel.[(triple4)] The squirrel chases the cow.[(triple5 OR ((triple3) -> rule3))] The squirrel is cold.[(triple6)] The squirrel is kind.[(triple7)] The squirrel is red.[(triple8)] The squirrel is young.[(triple9)] The squirrel needs the cow.[(triple10 OR ((((triple7 ((triple1 triple2) -> rule2)) -> rule1) triple5) -> rule4) OR ((((triple7 ((triple1 triple2) -> rule2)) -> rule1) ((triple3) -> rule3)) -> rule4) OR ((((triple7 ((((triple4) -> rule5) triple2) -> rule2)) -> rule1) triple5) -> rule4) OR ((((triple7 ((((triple4) -> rule5) triple2) -> rule2)) -> rule1) ((triple3) -> rule3)) -> rule4))] @1: The squirrel visits the cow.[(((triple1 triple2) -> rule2) OR ((((triple4) -> rule5) triple2) -> rule2))] @2: The squirrel visits the squirrel.[(((triple7 ((triple1 triple2) -> rule2)) -> rule1) OR ((triple7 ((((triple4) -> rule5) triple2) -> rule2)) -> rule1))] @3: The squirrel chases the squirrel.[(((((triple7 ((triple1 triple2) -> rule2)) -> rule1)) -> rule5) OR ((((triple7 ((((triple4) -> rule5) triple2) -> rule2)) -> rule1)) -> rule5))]