The bear is round. All cold things are not nice. If something is nice and not round then it is blue. All round things are blue. If something is cold and nice then it is blue. Blue things are cold. If something is nice and not blue then it is not red. If something is round then it is not red. Nice things are red.
The bear does not need the bear.
@0: The bear is round.[(triple1)] @1: The bear is blue.[(((triple1) -> rule3))] The bear is not red.[(((triple1) -> rule7))] @2: The bear is cold.[(((((triple1) -> rule3)) -> rule5))] @3: The bear is not nice.[(((((((triple1) -> rule3)) -> rule5)) -> rule1))]