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