Anne is not blue. Fiona is not nice. Fiona is white. All red, quiet things are white. If Anne is red and Anne is not blue then Anne is quiet. All white things are big. If something is nice then it is big. If Fiona is blue then Fiona is nice. If Fiona is big and Fiona is not white then Fiona is nice. If something is big then it is furry. If something is quiet and furry then it is nice.
Anne is not white.
@0: Anne is not blue.[(triple1)] Fiona is not nice.[(triple2)] Fiona is white.[(triple3)] @1: Fiona is big.[(((triple3) -> rule3))] @2: Fiona is furry.[(((((triple3) -> rule3)) -> rule7))]