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