The bear is not big. The bear is blue. The bear is not nice. The bear is red. The bear is round. Nice things are not red. Nice things are blue. If something is round and not red then it is blue. If something is round and nice then it is not blue. All round, nice things are big. All red things are not big. If the bear is blue then the bear is round. If something is blue and not red then it is round.
The bear is red.
@0: The bear is blue.[(triple2)] The bear is not big.[(triple1 OR ((triple4) -> rule6))] The bear is not nice.[(triple3)] The bear is red.[(triple4)] The bear is round.[(triple5 OR ((triple2) -> rule7))]