Anne is furry. Harry is rough. All furry people are kind. All furry people are big. All green, kind people are nice. Green people are rough. All rough people are white. If Harry is nice then Harry is big. If someone is rough and big then they are green. All white, rough people are big.
Harry is not nice.
@0: Anne is furry.[(triple1)] Harry is rough.[(triple2)] @1: Anne is big.[(((triple1) -> rule2))] Anne is kind.[(((triple1) -> rule1))] Harry is white.[(((triple2) -> rule5))] @2: Harry is big.[(((((triple2) -> rule5) triple2) -> rule8))] @3: Harry is green.[(((triple2 ((((triple2) -> rule5) triple2) -> rule8)) -> rule7))]