The bear eats the squirrel. The bear is cold. The bear is green. The bear likes the squirrel. The bear needs 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 likes the bear. The squirrel needs the bear. If something likes the squirrel and it needs the squirrel then the squirrel likes the bear. If something likes the squirrel and it likes the bear then the squirrel is kind. If something needs the squirrel and it needs the bear then it is kind. If the bear needs the squirrel and the bear likes the squirrel then the bear is green. If something likes the bear and the bear needs the squirrel then it eats the bear. If something likes the bear then the bear eats the squirrel. If something is blue then it needs the bear. If something eats the bear and the bear is cold then the bear is blue.
The squirrel likes the squirrel.
@0: The bear eats the squirrel.[(triple1 OR ((triple11) -> rule6) OR ((((triple4 triple5) -> rule1)) -> rule6))] The bear is cold.[(triple2)] The bear is green.[(triple3 OR ((triple5 triple4) -> rule4))] The bear likes the squirrel.[(triple4)] The bear needs the squirrel.[(triple5)] The squirrel eats the bear.[(triple6 OR ((triple11 triple5) -> rule5) OR ((((triple4 triple5) -> rule1) triple5) -> rule5))] The squirrel is blue.[(triple7)] The squirrel is cold.[(triple8)] The squirrel is green.[(triple9)] The squirrel is kind.[(triple10)] The squirrel likes the bear.[(triple11 OR ((triple4 triple5) -> rule1))] The squirrel needs the bear.[(triple12 OR ((triple7) -> rule7))] @1: The bear is blue.[(((triple6 triple2) -> rule8) OR ((((triple11 triple5) -> rule5) triple2) -> rule8) OR ((((((triple4 triple5) -> rule1) triple5) -> rule5) triple2) -> rule8))] @2: The bear needs the bear.[(((((triple6 triple2) -> rule8)) -> rule7) OR ((((((triple11 triple5) -> rule5) triple2) -> rule8)) -> rule7) OR ((((((((triple4 triple5) -> rule1) triple5) -> rule5) triple2) -> rule8)) -> rule7))] @3: The bear is kind.[(((triple5 ((((triple6 triple2) -> rule8)) -> rule7)) -> rule3) OR ((triple5 ((((((triple11 triple5) -> rule5) triple2) -> rule8)) -> rule7)) -> rule3) OR ((triple5 ((((((((triple4 triple5) -> rule1) triple5) -> rule5) triple2) -> rule8)) -> rule7)) -> rule3))]