The cow needs the lion. The lion chases the cow. The rabbit sees the squirrel. The squirrel chases the lion. If something needs the cow and it does not chase the lion then the cow is nice. If the squirrel is young then the squirrel is kind. If something chases the lion then the lion needs the squirrel. If the lion does not see the cow then the lion chases the cow. If the cow needs the rabbit and the cow does not see the squirrel then the squirrel needs the cow. If something chases the cow then it is red. If something is red and it needs the squirrel then the squirrel needs the lion. If something needs the cow and it is not kind then the cow is red.
The squirrel does not need the cow.
@0: The cow needs the lion.[(triple1)] The lion chases the cow.[(triple2)] The rabbit sees the squirrel.[(triple3)] The squirrel chases the lion.[(triple4)] @1: The lion is red.[(((triple2) -> rule6))] The lion needs the squirrel.[(((triple4) -> rule3))] @2: The squirrel needs the lion.[(((((triple2) -> rule6) ((triple4) -> rule3)) -> rule7))]