The cow chases the squirrel. The cow needs the squirrel. The lion eats the squirrel. The lion needs the cow. The squirrel chases the cow. The squirrel does not eat the lion. The squirrel is not blue. If the lion chases the squirrel then the lion needs the squirrel. If someone eats the squirrel and they are nice then the squirrel eats the cow. If the cow does not need the squirrel then the cow is rough. If someone chases the cow then they need the lion. If someone eats the squirrel and the squirrel needs the lion then the squirrel is kind. If someone chases the squirrel then the squirrel needs the cow.
The lion is rough.
@0: The cow chases the squirrel.[(triple1)] The cow needs the squirrel.[(triple2)] The lion eats the squirrel.[(triple3)] The lion needs the cow.[(triple4)] The squirrel chases the cow.[(triple5)] The squirrel does not eat the lion.[(triple6)] The squirrel is not blue.[(triple7)] @1: The squirrel needs the cow.[(((triple1) -> rule6))] The squirrel needs the lion.[(((triple5) -> rule4))] @2: The squirrel is kind.[(((triple3 ((triple5) -> rule4)) -> rule5))]