The bear chases the squirrel. The bear eats the squirrel. The bear is big. The bear is cold. The bear is green. The bear sees the squirrel. The squirrel eats the bear. The squirrel is big. The squirrel is cold. The squirrel sees the bear. If something chases the squirrel then the squirrel eats the bear. If something is green and it eats the squirrel then the squirrel eats the bear. If something sees the bear then the bear eats the squirrel. If something is cold then it chases the bear. If something sees the squirrel then it chases the squirrel. If something eats the squirrel and the squirrel sees the bear then it sees the squirrel.
The squirrel is not cold.
@0: The bear chases the squirrel.[(triple1 OR ((triple6) -> rule5) OR ((((triple2 triple10) -> rule6)) -> rule5) OR ((((((triple10) -> rule3) triple10) -> rule6)) -> rule5))] The bear eats the squirrel.[(triple2 OR ((triple10) -> rule3))] The bear is big.[(triple3)] The bear is cold.[(triple4)] The bear is green.[(triple5)] The bear sees the squirrel.[(triple6 OR ((triple2 triple10) -> rule6) OR ((((triple10) -> rule3) triple10) -> rule6))] The squirrel eats the bear.[(triple7 OR ((triple1) -> rule1) OR ((triple5 triple2) -> rule2) OR ((((triple6) -> rule5)) -> rule1) OR ((triple5 ((triple10) -> rule3)) -> rule2) OR ((((((triple2 triple10) -> rule6)) -> rule5)) -> rule1) OR ((((((((triple10) -> rule3) triple10) -> rule6)) -> rule5)) -> rule1))] The squirrel is big.[(triple8)] The squirrel is cold.[(triple9)] The squirrel sees the bear.[(triple10)] @1: The bear chases the bear.[(((triple4) -> rule4))] The squirrel chases the bear.[(((triple9) -> rule4))]