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