Fiona is round. Fiona is smart. Fiona is young. Gary is not blue. Gary is cold. Gary is quiet. Gary is not round. Gary is not smart. Gary is young. Harry is cold. Harry is quiet. Harry is smart. If Fiona is smart then Fiona is not cold. Quiet, smart people are cold.
Gary is not white.
@0: Fiona is round.[(triple1)] Fiona is smart.[(triple2)] Fiona is young.[(triple3)] Gary is cold.[(triple5)] Gary is not blue.[(triple4)] Gary is not round.[(triple7)] Gary is not smart.[(triple8)] Gary is quiet.[(triple6)] Gary is young.[(triple9)] Harry is cold.[(triple10 OR ((triple11 triple12) -> rule2))] Harry is quiet.[(triple11)] Harry is smart.[(triple12)] @1: Fiona is not cold.[(((triple2) -> rule1))]