Fiona is blue. Fiona is cold. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is not round. Gary is not blue. Gary is cold. Gary is not kind. All quiet people are blue. Quiet, round people are not green.
Fiona is round.
@0: Fiona is blue.[(triple1 OR ((triple5) -> rule1))] Fiona is cold.[(triple2)] Fiona is green.[(triple3)] Fiona is kind.[(triple4)] Fiona is not round.[(triple7)] Fiona is quiet.[(triple5)] Fiona is red.[(triple6)] Gary is cold.[(triple9)] Gary is not blue.[(triple8)] Gary is not kind.[(triple10)]