Harry is kind. Harry is nice. Harry is quiet. Round, quiet things are green. If something is quiet and green then it is round. All quiet things are round. All nice things are quiet. Green things are kind. All furry, green things are kind.
Harry is green.
@0: Harry is kind.[(triple1 OR ((((((triple3) -> rule3) triple3) -> rule1)) -> rule5) OR ((((((triple3) -> rule3) ((triple2) -> rule4)) -> rule1)) -> rule5) OR ((((((((triple2) -> rule4)) -> rule3) triple3) -> rule1)) -> rule5) OR ((((((((triple2) -> rule4)) -> rule3) ((triple2) -> rule4)) -> rule1)) -> rule5))] Harry is nice.[(triple2)] Harry is quiet.[(triple3 OR ((triple2) -> rule4))] @1: Harry is round.[(((triple3) -> rule3) OR ((((triple2) -> rule4)) -> rule3))] @2: Harry is green.[(((((triple3) -> rule3) triple3) -> rule1) OR ((((triple3) -> rule3) ((triple2) -> rule4)) -> rule1) OR ((((((triple2) -> rule4)) -> rule3) triple3) -> rule1) OR ((((((triple2) -> rule4)) -> rule3) ((triple2) -> rule4)) -> rule1))]