The lion eats the squirrel. The lion is rough. The lion likes the squirrel. The lion needs the squirrel. The squirrel eats the lion. The squirrel is big. The squirrel is red. The squirrel is rough. The squirrel is round. The squirrel likes the lion. If something needs the squirrel and it likes the lion then the squirrel needs the lion. If the lion eats the squirrel then the lion needs the squirrel. If something is rough and it does not eat the squirrel then it is round. If something likes the lion and the lion eats the squirrel then the squirrel is round. If something needs the lion and it eats the lion then it likes the squirrel. If something needs the lion then the lion does not like the squirrel. If the lion is not rough then the lion likes the squirrel. If the squirrel eats the lion and the squirrel does not need the lion then the squirrel is red.
The squirrel likes the lion.
@0: The lion eats the squirrel.[(triple1)] The lion is rough.[(triple2)] The lion likes the squirrel.[(triple3)] The lion needs the squirrel.[(triple4 OR ((triple1) -> rule2))] The squirrel eats the lion.[(triple5)] The squirrel is big.[(triple6)] The squirrel is red.[(triple7)] The squirrel is rough.[(triple8)] The squirrel is round.[(triple9 OR ((triple10 triple1) -> rule4))] The squirrel likes the lion.[(triple10)]