The bear is blue. The bear is not green. The bear is red. The bear is rough. The bear is round. Rough things are red. All green, rough things are red. If something is green and not blue then it is red. If the bear is not blue then the bear is red. If the bear is blue then the bear is rough. All round things are rough.
The bear is not rough.
@0: The bear is blue.[(triple1)] The bear is not green.[(triple2)] The bear is red.[(triple3 OR ((triple4) -> rule1) OR ((((triple1) -> rule5)) -> rule1) OR ((((triple5) -> rule6)) -> rule1))] The bear is rough.[(triple4 OR ((triple1) -> rule5) OR ((triple5) -> rule6))] The bear is round.[(triple5)]