Anne is white. Erin is cold. Fiona is cold. Harry is big. Green things are quiet. Cold things are green. If Harry is cold then Harry is round. Quiet things are big. All cold things are not round. If Harry is not cold then Harry is not quiet. If something is round and not green then it is white. If Fiona is not quiet and Fiona is not round then Fiona is not white.
Anne is big.
@0: Anne is white.[(triple1)] Erin is cold.[(triple2)] Fiona is cold.[(triple3)] Harry is big.[(triple4)] @1: Erin is green.[(((triple2) -> rule2))] Erin is not round.[(((triple2) -> rule5))] Fiona is green.[(((triple3) -> rule2))] Fiona is not round.[(((triple3) -> rule5))] @2: Erin is quiet.[(((((triple2) -> rule2)) -> rule1))] Fiona is quiet.[(((((triple3) -> rule2)) -> rule1))] @3: Erin is big.[(((((((triple2) -> rule2)) -> rule1)) -> rule4))] Fiona is big.[(((((((triple3) -> rule2)) -> rule1)) -> rule4))]