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