The bear is blue. The bear is not green. The bear is nice. The bear is round. The bear is young. All nice, green things are blue. If the bear is round then the bear is blue. If the bear is blue and the bear is not round then the bear is young.
The bear is round.
@0: The bear is blue.[(triple1 OR ((triple4) -> rule2))] The bear is nice.[(triple3)] The bear is not green.[(triple2)] The bear is round.[(triple4)] The bear is young.[(triple5)]