The lion is blue. The lion needs the squirrel. The lion visits the squirrel. The squirrel eats the lion. The squirrel is blue. The squirrel is cold. The squirrel is nice. The squirrel is young. The squirrel needs the lion. The squirrel visits the lion. If the lion visits the squirrel then the lion needs the squirrel. If someone visits the lion and they eat the squirrel then they are blue.
The squirrel is not nice.
@0: The lion is blue.[(triple1)] The lion needs the squirrel.[(triple2 OR ((triple3) -> rule1))] The lion visits the squirrel.[(triple3)] The squirrel eats the lion.[(triple4)] The squirrel is blue.[(triple5)] The squirrel is cold.[(triple6)] The squirrel is nice.[(triple7)] The squirrel is young.[(triple8)] The squirrel needs the lion.[(triple9)] The squirrel visits the lion.[(triple10)]