The bear eats the squirrel. The bear is blue. The bear is cold. The bear is green. The bear is kind. The bear is red. The bear likes the squirrel. The bear sees the squirrel. The squirrel eats the bear. The squirrel is blue. The squirrel is cold. The squirrel is green. The squirrel is kind. The squirrel is red. The squirrel likes the bear. The squirrel sees the bear. If the squirrel likes the bear then the bear is blue. If something is green and it sees the squirrel then it eats the bear. If something sees the squirrel then the squirrel sees the bear. If something is blue and red then it likes the bear. If something is cold then it likes the bear. If something is green then it likes the squirrel.
The squirrel does not see the bear.
@0: The bear eats the squirrel.[(triple1)] The bear is blue.[(triple2 OR ((triple15) -> rule1) OR ((((triple11) -> rule5)) -> rule1) OR ((((triple10 triple14) -> rule4)) -> rule1))] The bear is cold.[(triple3)] The bear is green.[(triple4)] The bear is kind.[(triple5)] The bear is red.[(triple6)] The bear likes the squirrel.[(triple7 OR ((triple4) -> rule6))] The bear sees the squirrel.[(triple8)] The squirrel eats the bear.[(triple9)] The squirrel is blue.[(triple10)] The squirrel is cold.[(triple11)] The squirrel is green.[(triple12)] The squirrel is kind.[(triple13)] The squirrel is red.[(triple14)] The squirrel likes the bear.[(triple15 OR ((triple11) -> rule5) OR ((triple10 triple14) -> rule4))] The squirrel sees the bear.[(triple16 OR ((triple8) -> rule3))] @1: The bear eats the bear.[(((triple4 triple8) -> rule2))] The bear likes the bear.[(((triple3) -> rule5) OR ((triple2 triple6) -> rule4) OR ((((triple15) -> rule1) triple6) -> rule4) OR ((((((triple11) -> rule5)) -> rule1) triple6) -> rule4) OR ((((((triple10 triple14) -> rule4)) -> rule1) triple6) -> rule4))] The squirrel likes the squirrel.[(((triple12) -> rule6))]