The bear eats the squirrel. The bear is green. The bear is nice. The bear sees the squirrel. The bear visits the squirrel. The squirrel eats the bear. The squirrel is young. If someone visits the bear then the bear is young. If the bear eats the squirrel and the squirrel is blue then the bear visits the squirrel. If someone sees the bear then they visit the bear. If someone is green then they see the bear. If someone is green then they see the bear. If someone sees the bear then they are blue.
The squirrel does not see the bear.
@0: The bear eats the squirrel.[(triple1)] The bear is green.[(triple2)] The bear is nice.[(triple3)] The bear sees the squirrel.[(triple4)] The bear visits the squirrel.[(triple5)] The squirrel eats the bear.[(triple6)] The squirrel is young.[(triple7)] @1: The bear sees the bear.[(((triple2) -> rule4) OR ((triple2) -> rule5))] @2: The bear is blue.[(((((triple2) -> rule4)) -> rule6) OR ((((triple2) -> rule5)) -> rule6))] The bear visits the bear.[(((((triple2) -> rule4)) -> rule3) OR ((((triple2) -> rule5)) -> rule3))] @3: The bear is young.[(((((((triple2) -> rule4)) -> rule3)) -> rule1) OR ((((((triple2) -> rule5)) -> rule3)) -> rule1))]