The bear needs the lion. The lion eats the squirrel. The lion is kind. The squirrel is red. The squirrel is round. The squirrel needs the bear. The squirrel needs the lion. If the bear eats the lion and the lion likes the squirrel then the lion is not round. If something needs the lion and it is red then the lion is round. If something is blue and it does not need the squirrel then the squirrel eats the lion. If something is red and it eats the bear then the bear likes the lion. If something eats the lion then it does not eat the squirrel. If something likes the bear then it eats the lion. If something is kind and it needs the lion then the lion needs the bear. If something likes the bear then the bear needs the lion.
The bear does not like the lion.
@0: The bear needs the lion.[(triple1)] The lion eats the squirrel.[(triple2)] The lion is kind.[(triple3)] The squirrel is red.[(triple4)] The squirrel is round.[(triple5)] The squirrel needs the bear.[(triple6)] The squirrel needs the lion.[(triple7)] @1: The lion is round.[(((triple7 triple4) -> rule2))]