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