The lion eats the squirrel. The lion is cold. The lion is green. The lion is not round. The lion likes the squirrel. The lion sees the squirrel. The squirrel eats the lion. The squirrel is blue. The squirrel is cold. The squirrel is round. The squirrel does not like the lion. The squirrel sees the lion. If the squirrel eats the lion then the lion likes the squirrel. If the lion eats the squirrel then the squirrel is round. If something likes the lion then it eats the squirrel. If something sees the lion then it does not like the lion. If something sees the squirrel then it does not like the lion. If the lion is round then the lion eats the squirrel.
The squirrel does not eat the squirrel.
@0: The lion eats the squirrel.[(triple1)] The lion is cold.[(triple2)] The lion is green.[(triple3)] The lion is not round.[(triple4)] The lion likes the squirrel.[(triple5 OR ((triple7) -> rule1))] The lion sees the squirrel.[(triple6)] The squirrel does not like the lion.[(triple11 OR ((triple12) -> rule4))] The squirrel eats the lion.[(triple7)] The squirrel is blue.[(triple8)] The squirrel is cold.[(triple9)] The squirrel is round.[(triple10 OR ((triple1) -> rule2))] The squirrel sees the lion.[(triple12)] @1: The lion does not like the lion.[(((triple6) -> rule5))]