The bear needs the lion. The lion needs the rabbit. The rabbit chases the squirrel. The rabbit is blue. The rabbit sees the squirrel. The squirrel chases the lion. The squirrel sees the rabbit. If something chases the lion and the lion is cold then it sees the bear. If something is nice and round then it sees the rabbit. If something is cold and nice then it is blue. If something chases the lion then the lion needs the rabbit. Blue, nice things are round. If the lion is blue then the lion chases the bear. If something sees the rabbit and the rabbit chases the squirrel then the rabbit is round. If something needs the squirrel then it sees the lion.
The bear sees the bear.
@0: The bear needs the lion.[(triple1)] The lion needs the rabbit.[(triple2 OR ((triple6) -> rule4))] The rabbit chases the squirrel.[(triple3)] The rabbit is blue.[(triple4)] The rabbit sees the squirrel.[(triple5)] The squirrel chases the lion.[(triple6)] The squirrel sees the rabbit.[(triple7)] @1: The rabbit is round.[(((triple7 triple3) -> rule7))]