Anne is red. Fiona is furry. Gary is quiet. Big, round people are white. Red people are not white. If Fiona is rough and Fiona is white then Fiona is big. All quiet people are big. Rough, quiet people are red. If someone is quiet and not rough then they are furry. If someone is quiet and big then they are furry. Furry people are round.
Gary is not rough.
@0: Anne is red.[(triple1)] Fiona is furry.[(triple2)] Gary is quiet.[(triple3)] @1: Anne is not white.[(((triple1) -> rule2))] Fiona is round.[(((triple2) -> rule8))] Gary is big.[(((triple3) -> rule4))] @2: Gary is furry.[(((triple3 ((triple3) -> rule4)) -> rule7))] @3: Gary is round.[(((((triple3 ((triple3) -> rule4)) -> rule7)) -> rule8))] @4: Gary is white.[(((((triple3) -> rule4) ((((triple3 ((triple3) -> rule4)) -> rule7)) -> rule8)) -> rule1))]