Dave is white. Fiona is big. Gary is cold. Harry is white. If Harry is quiet then Harry is white. If Gary is quiet then Gary is blue. Big things are quiet. If Gary is round then Gary is big. If something is blue then it is white. All round, red things are quiet. If Harry is white and Harry is big then Harry is blue. If Dave is big then Dave is blue.
Fiona is round.
@0: Dave is white.[(triple1)] Fiona is big.[(triple2)] Gary is cold.[(triple3)] Harry is white.[(triple4)] @1: Fiona is quiet.[(((triple2) -> rule3))]