Fiona is red. Fiona is young. Gary is cold. Gary is rough. Gary is round. Gary is white. Gary is young. Harry is red. Harry is rough. Harry is white. Cold, nice people are rough. If Fiona is round then Fiona is white. Red people are white.
Harry is white.
@0: Fiona is red.[(triple1)] Fiona is young.[(triple2)] Gary is cold.[(triple3)] Gary is rough.[(triple4)] Gary is round.[(triple5)] Gary is white.[(triple6)] Gary is young.[(triple7)] Harry is red.[(triple8)] Harry is rough.[(triple9)] Harry is white.[(triple10 OR ((triple8) -> rule3))] @1: Fiona is white.[(((triple1) -> rule3))]