The bear is blue. The bear is not round. The bear is young. All rough, nice things are not round. All nice things are young. Rough things are nice. If something is round and not blue then it is rough. If something is young then it is rough. If something is round then it is rough.
The bear is not nice.
@0: The bear is blue.[(triple1)] The bear is not round.[(triple2 OR ((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule3)) -> rule1))] The bear is young.[(triple3)] @1: The bear is rough.[(((triple3) -> rule5))] @2: The bear is nice.[(((((triple3) -> rule5)) -> rule3))]