The bear is kind. If the bear is blue and the bear is not kind then the bear is young. If something is kind then it is young. Kind things are young. If something is big and kind then it is not green. Young things are big. All big things are blue.
The bear is young.
@0: The bear is kind.[(triple1)] @1: The bear is young.[(((triple1) -> rule2) OR ((triple1) -> rule3))] @2: The bear is big.[(((((triple1) -> rule2)) -> rule5) OR ((((triple1) -> rule3)) -> rule5))] @3: The bear is blue.[(((((((triple1) -> rule2)) -> rule5)) -> rule6) OR ((((((triple1) -> rule3)) -> rule5)) -> rule6))] The bear is not green.[(((((((triple1) -> rule2)) -> rule5) triple1) -> rule4) OR ((((((triple1) -> rule3)) -> rule5) triple1) -> rule4))]