The cat chases the cow. The cat is big. The cat is blue. The cat is rough. The cat is round. The cat is young. The cat needs the squirrel. The cow chases the squirrel. The cow visits the cat. The cow visits the squirrel. The squirrel chases the cow. The squirrel is round. The squirrel is young. The squirrel needs the cat. The squirrel visits the cat. If something is round then it chases the cat. If something chases the cow and it needs the cat then the cat visits the squirrel.
The squirrel does not need the cat.
@0: The cat chases the cow.[(triple1)] The cat is big.[(triple2)] The cat is blue.[(triple3)] The cat is rough.[(triple4)] The cat is round.[(triple5)] The cat is young.[(triple6)] The cat needs the squirrel.[(triple7)] The cow chases the squirrel.[(triple8)] The cow visits the cat.[(triple9)] The cow visits the squirrel.[(triple10)] The squirrel chases the cow.[(triple11)] The squirrel is round.[(triple12)] The squirrel is young.[(triple13)] The squirrel needs the cat.[(triple14)] The squirrel visits the cat.[(triple15)] @1: The cat chases the cat.[(((triple5) -> rule1))] The cat visits the squirrel.[(((triple11 triple14) -> rule2))] The squirrel chases the cat.[(((triple12) -> rule1))]