The lion eats the squirrel. The lion is not big. The lion is cold. The lion is red. The lion is round. The lion is young. The lion sees the squirrel. The lion visits the squirrel. The squirrel eats the lion. The squirrel is big. The squirrel is cold. The squirrel is red. The squirrel is round. The squirrel is young. The squirrel sees the lion. The squirrel visits the lion. If the squirrel is not red then the squirrel is big. If something visits the squirrel then it is young.
The squirrel does not see the lion.
@0: The lion eats the squirrel.[(triple1)] The lion is cold.[(triple3)] The lion is not big.[(triple2)] The lion is red.[(triple4)] The lion is round.[(triple5)] The lion is young.[(triple6 OR ((triple8) -> rule2))] The lion sees the squirrel.[(triple7)] The lion visits the squirrel.[(triple8)] The squirrel eats the lion.[(triple9)] The squirrel is big.[(triple10)] The squirrel is cold.[(triple11)] The squirrel is red.[(triple12)] The squirrel is round.[(triple13)] The squirrel is young.[(triple14)] The squirrel sees the lion.[(triple15)] The squirrel visits the lion.[(triple16)]