The cow chases the squirrel. The cow is blue. The cow is green. The cow is kind. The cow sees the squirrel. The cow visits the squirrel. The squirrel is nice. If something visits the squirrel then the squirrel chases the cow. If something chases the squirrel then it chases the cow. If something is cold then it visits the cow. If something sees the squirrel then it visits the squirrel. If something is cold and it sees the squirrel then it visits the squirrel. If something visits the squirrel then it sees the cow.
The cow is nice.
@0: The cow chases the squirrel.[(triple1)] The cow is blue.[(triple2)] The cow is green.[(triple3)] The cow is kind.[(triple4)] The cow sees the squirrel.[(triple5)] The cow visits the squirrel.[(triple6 OR ((triple5) -> rule4))] The squirrel is nice.[(triple7)] @1: The cow chases the cow.[(((triple1) -> rule2))] The cow sees the cow.[(((triple6) -> rule6) OR ((((triple5) -> rule4)) -> rule6))] The squirrel chases the cow.[(((triple6) -> rule1) OR ((((triple5) -> rule4)) -> rule1))]