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