The lion chases the squirrel. The lion is cold. The lion is rough. The lion is young. The lion likes the squirrel. The lion needs the squirrel. The squirrel chases the lion. The squirrel is blue. The squirrel is cold. The squirrel is rough. The squirrel likes the lion. The squirrel needs the lion. If someone chases the lion and the lion likes the squirrel then the lion chases the squirrel. If someone is young and they like the squirrel then they need the squirrel. If someone is blue and they chase the squirrel then the squirrel is young. If someone likes the lion then the lion needs the squirrel. All blue people are young. If someone likes the lion then the lion chases the squirrel.
The squirrel does not need the squirrel.
@0: The lion chases the squirrel.[(triple1 OR ((triple11) -> rule6) OR ((triple7 triple5) -> rule1))] The lion is cold.[(triple2)] The lion is rough.[(triple3)] The lion is young.[(triple4)] The lion likes the squirrel.[(triple5)] The lion needs the squirrel.[(triple6 OR ((triple11) -> rule4) OR ((triple4 triple5) -> rule2))] The squirrel chases the lion.[(triple7)] The squirrel is blue.[(triple8)] The squirrel is cold.[(triple9)] The squirrel is rough.[(triple10)] The squirrel likes the lion.[(triple11)] The squirrel needs the lion.[(triple12)] @1: The squirrel is young.[(((triple8) -> rule5))]