Dave is quiet. Fiona is not quiet. Gary is round. Harry is quiet. If someone is furry then they are cold. All furry, nice people are cold. If someone is nice then they are not cold. All white, nice people are round. All cold people are not round. All white people are quiet. If Gary is not quiet and Gary is not furry then Gary is round. If Fiona is not quiet then Fiona is round.
Gary is not round.
@0: Dave is quiet.[(triple1)] Fiona is not quiet.[(triple2)] Gary is round.[(triple3)] Harry is quiet.[(triple4)] @1: Fiona is round.[(((triple2) -> rule8))]