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