Erin is smart. Fiona is kind. Gary is smart. Harry is quiet. If something is white and kind then it is cold. If Fiona is quiet then Fiona is smart. If something is quiet then it is not white.
Fiona is round.
@0: Erin is smart.[(triple1)] Fiona is kind.[(triple2)] Gary is smart.[(triple3)] Harry is quiet.[(triple4)] @1: Harry is not white.[(((triple4) -> rule3))]