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