The bear is blue. The bear is cold. The bear is nice. The bear is rough. The bear is round. All round, blue people are nice. If someone is blue and not round then they are nice. Cold people are blue. If someone is cold and nice then they are blue. If someone is rough and round then they are cold. If someone is nice and not rough then they are cold.
The bear is not blue.
@0: The bear is blue.[(triple1 OR ((triple2) -> rule3) OR ((triple2 triple3) -> rule4) OR ((((triple4 triple5) -> rule5)) -> rule3) OR ((((triple4 triple5) -> rule5) triple3) -> rule4))] The bear is cold.[(triple2 OR ((triple4 triple5) -> rule5))] The bear is nice.[(triple3 OR ((triple5 triple1) -> rule1) OR ((triple5 ((triple2) -> rule3)) -> rule1) OR ((triple5 ((((triple4 triple5) -> rule5)) -> rule3)) -> rule1))] The bear is rough.[(triple4)] The bear is round.[(triple5)]