Anne is cold. Anne is green. Fiona is nice. Fiona is round. Fiona is smart. Gary is cold. Gary is green. Gary is nice. Gary is round. Harry is not blue. Harry is not cold. Harry is green. Harry is nice. Harry is not round. Harry is smart. Harry is not white. If Fiona is blue then Fiona is nice. If Fiona is cold and Fiona is not blue then Fiona is round. If Fiona is green and Fiona is not cold then Fiona is round. Blue, nice people are not white. Blue people are smart. If someone is white and not nice then they are not smart. All cold, round people are not smart. If someone is blue and not nice then they are round.
Fiona is smart.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Fiona is nice.[(triple3)] Fiona is round.[(triple4)] Fiona is smart.[(triple5)] Gary is cold.[(triple6)] Gary is green.[(triple7)] Gary is nice.[(triple8)] Gary is round.[(triple9)] Harry is green.[(triple12)] Harry is nice.[(triple13)] Harry is not blue.[(triple10)] Harry is not cold.[(triple11)] Harry is not round.[(triple14)] Harry is not white.[(triple16)] Harry is smart.[(triple15)] @1: Gary is not smart.[(((triple6 triple9) -> rule7))]