The bear is blue. The bear is red. The bear is rough. The bear is round. The bear is not young. All young, blue things are round. All blue things are round. All rough, blue things are round.
The bear is not round.
@0: The bear is blue.[(triple1)] The bear is not young.[(triple5)] The bear is red.[(triple2)] The bear is rough.[(triple3)] The bear is round.[(triple4 OR ((triple1) -> rule2) OR ((triple3 triple1) -> rule3))]