Anne is cold. Anne is kind. Anne is rough. Anne is round. Erin is kind. Fiona is cold. Fiona is round. Gary is cold. Gary is kind. Gary is rough. All white things are green. If Fiona is not white then Fiona is round. If something is round and kind then it is cold. Green, kind things are not blue. If something is green then it is kind. If Gary is not cold then Gary is not rough. If something is green and not blue then it is rough. If something is round and not green then it is not rough.
Fiona is not cold.
@0: Anne is cold.[(triple1 OR ((triple4 triple2) -> rule3))] Anne is kind.[(triple2)] Anne is rough.[(triple3)] Anne is round.[(triple4)] Erin is kind.[(triple5)] Fiona is cold.[(triple6)] Fiona is round.[(triple7)] Gary is cold.[(triple8)] Gary is kind.[(triple9)] Gary is rough.[(triple10)]