The lion eats the squirrel. The lion is big. The lion is blue. The lion is not kind. The lion is red. The lion sees the squirrel. The lion visits the squirrel. The squirrel eats the lion. The squirrel is big. The squirrel is not nice. The squirrel does not see the lion. The squirrel visits the lion. If something visits the squirrel and it does not see the lion then it does not eat the squirrel. If the squirrel visits the lion then the squirrel is not blue.
The squirrel does not eat the squirrel.
@0: The lion eats the squirrel.[(triple1)] The lion is big.[(triple2)] The lion is blue.[(triple3)] The lion is not kind.[(triple4)] The lion is red.[(triple5)] The lion sees the squirrel.[(triple6)] The lion visits the squirrel.[(triple7)] The squirrel does not see the lion.[(triple11)] The squirrel eats the lion.[(triple8)] The squirrel is big.[(triple9)] The squirrel is not nice.[(triple10)] The squirrel visits the lion.[(triple12)] @1: The squirrel is not blue.[(((triple12) -> rule2))]