Fiona is blue. Fiona is white. Harry is cold. Round things are not blue. If Fiona is red and Fiona is blue then Fiona is quiet. If Fiona is blue then Fiona is red. If something is quiet and red then it is not round. If Harry is quiet then Harry is red. If Harry is not green then Harry is not round. If something is cold and not red then it is white. Quiet things are white.
Harry is not white.
@0: Fiona is blue.[(triple1)] Fiona is white.[(triple2 OR ((((((triple1) -> rule3) triple1) -> rule2)) -> rule8))] Harry is cold.[(triple3)] @1: Fiona is red.[(((triple1) -> rule3))] @2: Fiona is quiet.[(((((triple1) -> rule3) triple1) -> rule2))] @3: Fiona is not round.[(((((((triple1) -> rule3) triple1) -> rule2) ((triple1) -> rule3)) -> rule4))]