The bear is big. The bear is cold. The bear is red. The bear is rough. The bear is young. All cold, big people are rough. If the bear is red then the bear is rough. All red people are big.
The bear is not red.
@0: The bear is big.[(triple1 OR ((triple3) -> rule3))] The bear is cold.[(triple2)] The bear is red.[(triple3)] The bear is rough.[(triple4 OR ((triple3) -> rule2) OR ((triple2 triple1) -> rule1) OR ((triple2 ((triple3) -> rule3)) -> rule1))] The bear is young.[(triple5)]