Anne is furry. Charlie is round. Gary is round. Harry is not furry. Furry people are cold. Furry, quiet people are cold. All blue, round people are not cold. All round people are quiet. All cold people are not round. If someone is furry and not round then they are not white.
Anne is blue.
@0: Anne is furry.[(triple1)] Charlie is round.[(triple2)] Gary is round.[(triple3)] Harry is not furry.[(triple4)] @1: Anne is cold.[(((triple1) -> rule1))] Charlie is quiet.[(((triple2) -> rule4))] Gary is quiet.[(((triple3) -> rule4))] @2: Anne is not round.[(((((triple1) -> rule1)) -> rule5))] @3: Anne is not white.[(((triple1 ((((triple1) -> rule1)) -> rule5)) -> rule6))]