The bear is not blue. The bear is kind. The bear is not red. The bear is round. The bear is young. Blue things are young. All young things are round. If something is kind and red then it is blue.
The bear is not round.
@0: The bear is kind.[(triple2)] The bear is not blue.[(triple1)] The bear is not red.[(triple3)] The bear is round.[(triple4 OR ((triple5) -> rule2))] The bear is young.[(triple5)]