The cow chases the squirrel. The cow eats the squirrel. The cow needs the squirrel. The lion eats the cow. The lion eats the squirrel. The lion is nice. The lion is rough. The lion is round. The lion needs the cow. The lion needs the squirrel. The squirrel chases the lion. The squirrel eats the lion. The squirrel is big. The squirrel is nice. The squirrel is round. If something is round then it chases the lion. If something is rough and it eats the squirrel then it chases the squirrel.
The cow needs the cow.
@0: The cow chases the squirrel.[(triple1)] The cow eats the squirrel.[(triple2)] The cow needs the squirrel.[(triple3)] The lion eats the cow.[(triple4)] The lion eats the squirrel.[(triple5)] The lion is nice.[(triple6)] The lion is rough.[(triple7)] The lion is round.[(triple8)] The lion needs the cow.[(triple9)] The lion needs the squirrel.[(triple10)] The squirrel chases the lion.[(triple11 OR ((triple15) -> rule1))] The squirrel eats the lion.[(triple12)] The squirrel is big.[(triple13)] The squirrel is nice.[(triple14)] The squirrel is round.[(triple15)] @1: The lion chases the lion.[(((triple8) -> rule1))] The lion chases the squirrel.[(((triple7 triple5) -> rule2))]