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