The bear is big. The bear is blue. The bear is kind. If the bear is big then the bear is cold. All rough, kind people are cold. All rough, big people are blue. Kind, rough people are cold. All blue people are rough. Rough, cold people are blue. If someone is rough and kind then they are big. If someone is rough and blue then they are kind.
The bear is cold.
@0: The bear is big.[(triple1 OR ((((triple2) -> rule5) triple3) -> rule7) OR ((((triple2) -> rule5) ((((triple2) -> rule5) triple2) -> rule8)) -> rule7))] The bear is blue.[(triple2)] The bear is kind.[(triple3 OR ((((triple2) -> rule5) triple2) -> rule8))] @1: The bear is cold.[(((triple1) -> rule1) OR ((triple3 ((triple2) -> rule5)) -> rule4) OR ((((triple2) -> rule5) triple3) -> rule2) OR ((((((triple2) -> rule5) triple3) -> rule7)) -> rule1) OR ((((triple2) -> rule5) ((((triple2) -> rule5) triple2) -> rule8)) -> rule2) OR ((((((triple2) -> rule5) triple2) -> rule8) ((triple2) -> rule5)) -> rule4) OR ((((((triple2) -> rule5) ((((triple2) -> rule5) triple2) -> rule8)) -> rule7)) -> rule1))] The bear is rough.[(((triple2) -> rule5))]