Fiona is blue. Fiona is red. Fiona is rough. Fiona is white. Gary is big. Gary is blue. Gary is red. Gary is rough. Harry is big. Harry is white. If Harry is blue then Harry is white. All cold things are blue. Blue, white things are red.
Harry is not white.
@0: Fiona is blue.[(triple1)] Fiona is red.[(triple2 OR ((triple1 triple4) -> rule3))] Fiona is rough.[(triple3)] Fiona is white.[(triple4)] Gary is big.[(triple5)] Gary is blue.[(triple6)] Gary is red.[(triple7)] Gary is rough.[(triple8)] Harry is big.[(triple9)] Harry is white.[(triple10)]