The bear chases the squirrel. The bear eats the squirrel. The bear is blue. The bear is nice. The dog chases the bear. The dog visits the bear. The rabbit is rough. The squirrel chases the bear. The squirrel chases the rabbit. The squirrel is red. If something eats the squirrel and the squirrel is nice then it visits the squirrel. If something eats the dog then it eats the rabbit. If something eats the rabbit then the rabbit visits the dog. If something visits the dog then it chases the bear. If something chases the bear then the bear eats the rabbit. If something is rough and red then it visits the bear.
The bear is green.
@0: The bear chases the squirrel.[(triple1)] The bear eats the squirrel.[(triple2)] The bear is blue.[(triple3)] The bear is nice.[(triple4)] The dog chases the bear.[(triple5)] The dog visits the bear.[(triple6)] The rabbit is rough.[(triple7)] The squirrel chases the bear.[(triple8)] The squirrel chases the rabbit.[(triple9)] The squirrel is red.[(triple10)] @1: The bear eats the rabbit.[(((triple5) -> rule5) OR ((triple8) -> rule5))] @2: The rabbit visits the dog.[(((((triple5) -> rule5)) -> rule3) OR ((((triple8) -> rule5)) -> rule3))] @3: The rabbit chases the bear.[(((((((triple5) -> rule5)) -> rule3)) -> rule4) OR ((((((triple8) -> rule5)) -> rule3)) -> rule4))]