The cow eats the lion. The cow is nice. The cow needs the lion. The cow sees the lion. The lion eats the squirrel. The lion is not cold. The lion is green. The lion does not need the squirrel. The lion sees the squirrel. The squirrel is nice. If the cow needs the lion and the cow needs the squirrel then the squirrel sees the cow. If something eats the cow and the cow sees the lion then it sees the squirrel. If something eats the cow and it sees the lion then it does not need the squirrel. Young things are green. If something eats the squirrel then the squirrel eats the cow. If something eats the cow then the cow does not need the squirrel. If something sees the squirrel then it does not need the lion. If the squirrel is cold and the squirrel does not see the cow then the cow is round.
The cow is green.
@0: The cow eats the lion.[(triple1)] The cow is nice.[(triple2)] The cow needs the lion.[(triple3)] The cow sees the lion.[(triple4)] The lion does not need the squirrel.[(triple8)] The lion eats the squirrel.[(triple5)] The lion is green.[(triple7)] The lion is not cold.[(triple6)] The lion sees the squirrel.[(triple9)] The squirrel is nice.[(triple10)] @1: The lion does not need the lion.[(((triple9) -> rule7))] The squirrel eats the cow.[(((triple5) -> rule5))] @2: The cow does not need the squirrel.[(((((triple5) -> rule5)) -> rule6))] The squirrel sees the squirrel.[(((((triple5) -> rule5) triple4) -> rule2))] @3: The squirrel does not need the lion.[(((((((triple5) -> rule5) triple4) -> rule2)) -> rule7))]