The bear chases the squirrel. The bear eats the squirrel. The bear is rough. The bear does not need the squirrel. The rabbit chases the bear. The rabbit is green. The rabbit is not red. The rabbit needs the bear. The squirrel is rough. The squirrel needs the rabbit. If the rabbit chases the bear then the bear is big. If something eats the bear then the bear does not need the rabbit. If something is green and not rough then it does not chase the rabbit. If the bear is blue then the bear eats the rabbit. If something is red then it is blue. If something chases the bear and the bear is big then the bear is blue. If something is blue then it needs the rabbit. All big things are red.
The bear is red.
@0: The bear chases the squirrel.[(triple1)] The bear does not need the squirrel.[(triple4)] The bear eats the squirrel.[(triple2)] The bear is rough.[(triple3)] The rabbit chases the bear.[(triple5)] The rabbit is green.[(triple6)] The rabbit is not red.[(triple7)] The rabbit needs the bear.[(triple8)] The squirrel is rough.[(triple9)] The squirrel needs the rabbit.[(triple10)] @1: The bear is big.[(((triple5) -> rule1))] @2: The bear is blue.[(((triple5 ((triple5) -> rule1)) -> rule6) OR ((((((triple5) -> rule1)) -> rule8)) -> rule5))] The bear is red.[(((((triple5) -> rule1)) -> rule8))] @3: The bear eats the rabbit.[(((((triple5 ((triple5) -> rule1)) -> rule6)) -> rule4) OR ((((((((triple5) -> rule1)) -> rule8)) -> rule5)) -> rule4))] The bear needs the rabbit.[(((((triple5 ((triple5) -> rule1)) -> rule6)) -> rule7) OR ((((((((triple5) -> rule1)) -> rule8)) -> rule5)) -> rule7))]