The bear is blue. The bear is cold. The bear is kind. The bear is nice. The bear is round. If something is round then it is kind. All blue things are nice. If something is kind then it is nice.
The bear is not nice.
@0: The bear is blue.[(triple1)] The bear is cold.[(triple2)] The bear is kind.[(triple3 OR ((triple5) -> rule1))] The bear is nice.[(triple4 OR ((triple1) -> rule2) OR ((triple3) -> rule3) OR ((((triple5) -> rule1)) -> rule3))] The bear is round.[(triple5)]