The cow is rough. The cow is round. The cow likes the squirrel. The cow visits the squirrel. The squirrel chases the cow. The squirrel is nice. The squirrel is red. If something visits the squirrel and it chases the squirrel then it likes the squirrel. If something chases the cow then it likes the squirrel. If something likes the squirrel then it chases the cow. If something is rough and it does not like the squirrel then it likes the cow. If something is round and it does not chase the cow then it does not like the cow. If something likes the cow then it visits the cow.
The cow does not like the squirrel.
@0: The cow is rough.[(triple1)] The cow is round.[(triple2)] The cow likes the squirrel.[(triple3)] The cow visits the squirrel.[(triple4)] The squirrel chases the cow.[(triple5)] The squirrel is nice.[(triple6)] The squirrel is red.[(triple7)] @1: The cow chases the cow.[(((triple3) -> rule3))] The squirrel likes the squirrel.[(((triple5) -> rule2))]