Harry is furry. Harry is kind. Harry is nice. If Harry is furry and Harry is nice then Harry is kind. Quiet, green things are furry. If Harry is green and Harry is kind then Harry is not furry. If something is smart then it is quiet. All furry things are nice. If something is kind then it is smart. If something is quiet and furry then it is young. All young things are kind.
Harry is furry.
@0: Harry is furry.[(triple1)] Harry is kind.[(triple2 OR ((triple1 triple3) -> rule1) OR ((triple1 ((triple1) -> rule5)) -> rule1))] Harry is nice.[(triple3 OR ((triple1) -> rule5))] @1: Harry is smart.[(((triple2) -> rule6) OR ((((triple1 triple3) -> rule1)) -> rule6) OR ((((triple1 ((triple1) -> rule5)) -> rule1)) -> rule6))] @2: Harry is quiet.[(((((triple2) -> rule6)) -> rule4) OR ((((((triple1 triple3) -> rule1)) -> rule6)) -> rule4) OR ((((((triple1 ((triple1) -> rule5)) -> rule1)) -> rule6)) -> rule4))] @3: Harry is young.[(((((((triple2) -> rule6)) -> rule4) triple1) -> rule7) OR ((((((((triple1 triple3) -> rule1)) -> rule6)) -> rule4) triple1) -> rule7) OR ((((((((triple1 ((triple1) -> rule5)) -> rule1)) -> rule6)) -> rule4) triple1) -> rule7))]