The bear is big. The bear is not green. The bear is kind. The bear is not nice. The bear is round. If the bear is big then the bear is round. If something is green then it is nice. If something is nice then it is big. Kind things are round. If something is kind and big then it is round. Nice, big things are kind. If something is big and nice then it is kind. If something is big and not nice then it is kind.
The bear needs the bear.
@0: The bear is big.[(triple1)] The bear is kind.[(triple3 OR ((triple1 triple4) -> rule8))] The bear is not green.[(triple2)] The bear is not nice.[(triple4)] The bear is round.[(triple5 OR ((triple1) -> rule1) OR ((triple3) -> rule4) OR ((triple3 triple1) -> rule5) OR ((((triple1 triple4) -> rule8)) -> rule4) OR ((((triple1 triple4) -> rule8) triple1) -> rule5))]