The bear is cold. The bear is green. The bear is kind. The bear is rough. The bear is round. If the bear is cold then the bear is rough. If something is rough and cold then it is round. Rough, green things are kind.
The bear is rough.
@0: The bear is cold.[(triple1)] The bear is green.[(triple2)] The bear is kind.[(triple3 OR ((triple4 triple2) -> rule3) OR ((((triple1) -> rule1) triple2) -> rule3))] The bear is rough.[(triple4 OR ((triple1) -> rule1))] The bear is round.[(triple5 OR ((triple4 triple1) -> rule2) OR ((((triple1) -> rule1) triple1) -> rule2))]