The bear is cold. The bear is kind. The bear is nice. The bear is red. The bear is round. If the bear is nice then the bear is round. All round people are nice. Red, cold people are kind. If the bear is not nice then the bear is kind. If the bear is kind then the bear is red. All round, kind people are red.
The bear is round.
@0: The bear is cold.[(triple1)] The bear is kind.[(triple2 OR ((triple4 triple1) -> rule3))] The bear is nice.[(triple3 OR ((triple5) -> rule2))] The bear is red.[(triple4 OR ((triple2) -> rule5) OR ((triple5 triple2) -> rule6) OR ((((triple3) -> rule1) triple2) -> rule6))] The bear is round.[(triple5 OR ((triple3) -> rule1))]