Fiona is blue. Fiona is cold. Fiona is not green. Fiona is kind. Fiona is quiet. Fiona is red. Gary is blue. Gary is cold. Gary is kind. Gary is quiet. Gary is not red. Harry is not blue. Harry is cold. Harry is kind. Harry is quiet. If someone is white and not blue then they are red. If someone is white then they are cold. All red, white people are green. If Harry is cold and Harry is quiet then Harry is white. If someone is green then they are quiet. If Gary is cold and Gary is white then Gary is green.
Harry is not red.
@0: Fiona is blue.[(triple1)] Fiona is cold.[(triple2)] Fiona is kind.[(triple4)] Fiona is not green.[(triple3)] Fiona is quiet.[(triple5)] Fiona is red.[(triple6)] Gary is blue.[(triple7)] Gary is cold.[(triple8)] Gary is kind.[(triple9)] Gary is not red.[(triple11)] Gary is quiet.[(triple10)] Harry is cold.[(triple13)] Harry is kind.[(triple14)] Harry is not blue.[(triple12)] Harry is quiet.[(triple15)] @1: Harry is white.[(((triple13 triple15) -> rule4))] @2: Harry is red.[(((((triple13 triple15) -> rule4) triple12) -> rule1))] @3: Harry is green.[(((((((triple13 triple15) -> rule4) triple12) -> rule1) ((triple13 triple15) -> rule4)) -> rule3))]