The cow chases the lion. The cow is not kind. The cow likes the squirrel. The cow needs the dog. The cow needs the lion. The dog needs the cow. The lion does not chase the dog. The lion is rough. The lion needs the squirrel. The squirrel chases the cow. The squirrel is not nice. The squirrel needs the lion. If someone likes the cow then they chase the lion. All round people are not rough. If the cow needs the dog then the dog is round.
The dog is not rough.
@0: The cow chases the lion.[(triple1)] The cow is not kind.[(triple2)] The cow likes the squirrel.[(triple3)] The cow needs the dog.[(triple4)] The cow needs the lion.[(triple5)] The dog needs the cow.[(triple6)] The lion does not chase the dog.[(triple7)] The lion is rough.[(triple8)] The lion needs the squirrel.[(triple9)] The squirrel chases the cow.[(triple10)] The squirrel is not nice.[(triple11)] The squirrel needs the lion.[(triple12)] @1: The dog is round.[(((triple4) -> rule3))] @2: The dog is not rough.[(((((triple4) -> rule3)) -> rule2))]