The cow chases the lion. The cow eats the squirrel. The lion chases the squirrel. The lion eats the squirrel. The lion needs the squirrel. The squirrel chases the cow. The squirrel eats the cow. The squirrel is big. The squirrel is green. The squirrel is rough. If someone eats the cow then they eat the squirrel. If someone is kind and green then they need the cow. If someone eats the lion then they chase the cow. If someone is green then they chase the squirrel. If someone chases the squirrel and they eat the squirrel then they need the lion. If the squirrel needs the lion then the lion is kind.
The cow does not eat the lion.
@0: The cow chases the lion.[(triple1)] The cow eats the squirrel.[(triple2)] The lion chases the squirrel.[(triple3)] The lion eats the squirrel.[(triple4)] The lion needs the squirrel.[(triple5)] The squirrel chases the cow.[(triple6)] The squirrel eats the cow.[(triple7)] The squirrel is big.[(triple8)] The squirrel is green.[(triple9)] The squirrel is rough.[(triple10)] @1: The lion needs the lion.[(((triple3 triple4) -> rule5))] The squirrel chases the squirrel.[(((triple9) -> rule4))] The squirrel eats the squirrel.[(((triple7) -> rule1))] @2: The squirrel needs the lion.[(((((triple9) -> rule4) ((triple7) -> rule1)) -> rule5))] @3: The lion is kind.[(((((((triple9) -> rule4) ((triple7) -> rule1)) -> rule5)) -> rule6))]