The bear is green. If someone is young then they are kind. If someone is young and nice then they are green. All green people are round. Kind people are nice. Young people are nice. If someone is round then they are young. All young, green people are kind. If someone is green and young then they are nice.
The bear is not kind.
@0: The bear is green.[(triple1)] @1: The bear is round.[(((triple1) -> rule3))] @2: The bear is young.[(((((triple1) -> rule3)) -> rule6))] @3: The bear is kind.[(((((((triple1) -> rule3)) -> rule6)) -> rule1) OR ((((((triple1) -> rule3)) -> rule6) triple1) -> rule7))] The bear is nice.[(((((((triple1) -> rule3)) -> rule6)) -> rule5) OR ((triple1 ((((triple1) -> rule3)) -> rule6)) -> rule8) OR ((((((((triple1) -> rule3)) -> rule6)) -> rule1)) -> rule4) OR ((((((((triple1) -> rule3)) -> rule6) triple1) -> rule7)) -> rule4))]