The bear is big. The bear is blue. The bear is cold. The bear is red. The bear is rough. If something is red then it is cold. If the bear is cold then the bear is big. If something is red then it is rough. If the bear is cold then the bear is big. If something is red then it is cold. If something is rough and big then it is blue.
The bear does not see the bear.
@0: The bear is big.[(triple1 OR ((triple3) -> rule2) OR ((triple3) -> rule4) OR ((((triple4) -> rule1)) -> rule2) OR ((((triple4) -> rule1)) -> rule4) OR ((((triple4) -> rule5)) -> rule2) OR ((((triple4) -> rule5)) -> rule4))] The bear is blue.[(triple2 OR ((triple5 triple1) -> rule6) OR ((triple5 ((triple3) -> rule2)) -> rule6) OR ((triple5 ((triple3) -> rule4)) -> rule6) OR ((((triple4) -> rule3) triple1) -> rule6) OR ((((triple4) -> rule3) ((triple3) -> rule2)) -> rule6) OR ((((triple4) -> rule3) ((triple3) -> rule4)) -> rule6) OR ((triple5 ((((triple4) -> rule1)) -> rule2)) -> rule6) OR ((triple5 ((((triple4) -> rule1)) -> rule4)) -> rule6) OR ((triple5 ((((triple4) -> rule5)) -> rule2)) -> rule6) OR ((triple5 ((((triple4) -> rule5)) -> rule4)) -> rule6) OR ((((triple4) -> rule3) ((((triple4) -> rule1)) -> rule2)) -> rule6) OR ((((triple4) -> rule3) ((((triple4) -> rule1)) -> rule4)) -> rule6) OR ((((triple4) -> rule3) ((((triple4) -> rule5)) -> rule2)) -> rule6) OR ((((triple4) -> rule3) ((((triple4) -> rule5)) -> rule4)) -> rule6))] The bear is cold.[(triple3 OR ((triple4) -> rule1) OR ((triple4) -> rule5))] The bear is red.[(triple4)] The bear is rough.[(triple5 OR ((triple4) -> rule3))]