The cow chases the squirrel. The cow is not nice. The cow is round. The cow does not like the lion. The cow needs the squirrel. The lion is nice. The squirrel chases the cow. The squirrel chases the lion. The squirrel is nice. The squirrel likes the cow. The squirrel does not like the lion. The squirrel needs the lion. If the cow needs the lion and the lion likes the cow then the cow chases the lion. If something needs the lion then it is round. If something likes the cow and the cow chases the squirrel then it is round. If something chases the lion and it is round then it likes the squirrel. If something likes the lion and it chases the cow then the lion is not nice. If something chases the squirrel then it chases the lion. If something likes the squirrel and the squirrel needs the lion then the lion chases the cow. If something needs the lion and it is not round then it is blue.
The squirrel likes the squirrel.
@0: The cow chases the squirrel.[(triple1)] The cow does not like the lion.[(triple4)] The cow is not nice.[(triple2)] The cow is round.[(triple3)] The cow needs the squirrel.[(triple5)] The lion is nice.[(triple6)] The squirrel chases the cow.[(triple7)] The squirrel chases the lion.[(triple8)] The squirrel does not like the lion.[(triple11)] The squirrel is nice.[(triple9)] The squirrel likes the cow.[(triple10)] The squirrel needs the lion.[(triple12)] @1: The cow chases the lion.[(((triple1) -> rule6))] The squirrel is round.[(((triple12) -> rule2) OR ((triple10 triple1) -> rule3))] @2: The cow likes the squirrel.[(((((triple1) -> rule6) triple3) -> rule4))] The squirrel likes the squirrel.[(((triple8 ((triple12) -> rule2)) -> rule4) OR ((triple8 ((triple10 triple1) -> rule3)) -> rule4))] @3: The lion chases the cow.[(((((triple8 ((triple12) -> rule2)) -> rule4) triple12) -> rule7) OR ((((triple8 ((triple10 triple1) -> rule3)) -> rule4) triple12) -> rule7) OR ((((((triple1) -> rule6) triple3) -> rule4) triple12) -> rule7))]