Anne is big. Charlie is round. Dave is young. Harry is furry. If something is kind then it is green. If Dave is big then Dave is green. Smart things are kind. Young things are green. Kind, smart things are young. Furry things are smart.
Harry is not furry.
@0: Anne is big.[(triple1)] Charlie is round.[(triple2)] Dave is young.[(triple3)] Harry is furry.[(triple4)] @1: Dave is green.[(((triple3) -> rule4))] Harry is smart.[(((triple4) -> rule6))] @2: Harry is kind.[(((((triple4) -> rule6)) -> rule3))] @3: Harry is green.[(((((((triple4) -> rule6)) -> rule3)) -> rule1) OR ((((((((triple4) -> rule6)) -> rule3) ((triple4) -> rule6)) -> rule5)) -> rule4))] Harry is young.[(((((((triple4) -> rule6)) -> rule3) ((triple4) -> rule6)) -> rule5))]