The bear is big. The bear is red. The bear needs the squirrel. The lion is cold. The lion needs the bear. The lion needs the squirrel. The lion sees the squirrel. The squirrel eats the bear. The squirrel is cold. The squirrel sees the bear. If something eats the lion and the lion needs the bear then it sees the bear. If the lion is big then the lion is cold. If something needs the lion then it eats the bear. If the squirrel eats the bear then the bear sees the squirrel. If something needs the squirrel and the squirrel eats the bear then the squirrel is blue. If something needs the bear and it is red then the bear is red. If the bear needs the squirrel and the squirrel eats the bear then the squirrel is blue. If something eats the lion and it sees the squirrel then the lion needs the squirrel.
The squirrel needs the bear.
@0: The bear is big.[(triple1)] The bear is red.[(triple2)] The bear needs the squirrel.[(triple3)] The lion is cold.[(triple4)] The lion needs the bear.[(triple5)] The lion needs the squirrel.[(triple6)] The lion sees the squirrel.[(triple7)] The squirrel eats the bear.[(triple8)] The squirrel is cold.[(triple9)] The squirrel sees the bear.[(triple10)] @1: The bear sees the squirrel.[(((triple8) -> rule4))] The squirrel is blue.[(((triple3 triple8) -> rule5) OR ((triple3 triple8) -> rule7) OR ((triple6 triple8) -> rule5))]