The bear is big. The bear is rough. The bear is round. All round things are cold. If something is kind then it is cold. Big, round things are cold. If something is round and not kind then it is not big. Round things are big. If the bear is cold then the bear is rough. If the bear is rough and the bear is cold then the bear is big. Kind things are not rough.
The bear is rough.
@0: The bear is big.[(triple1 OR ((triple3) -> rule5) OR ((triple2 ((triple3) -> rule1)) -> rule7) OR ((((((triple3) -> rule1)) -> rule6) ((triple3) -> rule1)) -> rule7))] The bear is rough.[(triple2 OR ((((triple3) -> rule1)) -> rule6) OR ((((triple1 triple3) -> rule3)) -> rule6) OR ((((((triple3) -> rule5) triple3) -> rule3)) -> rule6))] The bear is round.[(triple3)] @1: The bear is cold.[(((triple3) -> rule1) OR ((triple1 triple3) -> rule3) OR ((((triple3) -> rule5) triple3) -> rule3))]