The bear is big. The bear is blue. The bear is not green. The bear is kind. The bear is young. Green things are not blue. If the bear is blue and the bear is not kind then the bear is green. All kind, blue things are not green. If something is kind and big then it is young. If something is blue and not green then it is big. If the bear is not green then the bear is big. If the bear is green then the bear is big. If the bear is not green and the bear is not big then the bear is young.
The bear is kind.
@0: The bear is big.[(triple1 OR ((triple3) -> rule6) OR ((triple2 triple3) -> rule5) OR ((((triple4 triple2) -> rule3)) -> rule6) OR ((triple2 ((triple4 triple2) -> rule3)) -> rule5))] The bear is blue.[(triple2)] The bear is kind.[(triple4)] The bear is not green.[(triple3 OR ((triple4 triple2) -> rule3))] The bear is young.[(triple5 OR ((triple4 triple1) -> rule4) OR ((triple4 ((triple3) -> rule6)) -> rule4) OR ((triple4 ((triple2 triple3) -> rule5)) -> rule4) OR ((triple4 ((((triple4 triple2) -> rule3)) -> rule6)) -> rule4) OR ((triple4 ((triple2 ((triple4 triple2) -> rule3)) -> rule5)) -> rule4))]