Gary is not furry. Harry is round. If Harry is round then Harry is blue. If Gary is round and Gary is blue then Gary is furry. All blue people are quiet. Red, quiet people are not white. If someone is white and not quiet then they are red. If someone is green and blue then they are not red. All quiet people are green. White people are green.
Harry is not green.
@0: Gary is not furry.[(triple1)] Harry is round.[(triple2)] @1: Harry is blue.[(((triple2) -> rule1))] @2: Harry is quiet.[(((((triple2) -> rule1)) -> rule3))] @3: Harry is green.[(((((((triple2) -> rule1)) -> rule3)) -> rule7))] @4: Harry is not red.[(((((((((triple2) -> rule1)) -> rule3)) -> rule7) ((triple2) -> rule1)) -> rule6))]