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