The cow sees the lion. The lion eats the squirrel. The lion is not cold. The squirrel chases the cow. The squirrel eats the lion. The squirrel sees the cow. The squirrel does not see the lion. If something eats the cow and it is round then the cow does not chase the lion. If something sees the lion then the lion is rough. If something eats the squirrel then it does not eat the lion. If something is kind and cold then it does not chase the cow. If the squirrel chases the cow then the cow sees the squirrel. If the lion chases the squirrel then the squirrel does not eat the cow. If something sees the cow and the cow chases the lion then the lion sees the cow. Cold things are round.
The squirrel does not see the cow.
@0: The cow sees the lion.[(triple1)] The lion eats the squirrel.[(triple2)] The lion is not cold.[(triple3)] The squirrel chases the cow.[(triple4)] The squirrel does not see the lion.[(triple7)] The squirrel eats the lion.[(triple5)] The squirrel sees the cow.[(triple6)] @1: The cow sees the squirrel.[(((triple4) -> rule5))] The lion does not eat the lion.[(((triple2) -> rule3))] The lion is rough.[(((triple1) -> rule2))]