Fiona is blue. Fiona is nice. Fiona is rough. Gary is cold. Gary is nice. Gary is rough. Gary is white. If Fiona is cold and Fiona is white then Fiona is not smart. If Fiona is white then Fiona is rough. All smart people are rough. White people are smart. Smart people are white. If someone is red and not nice then they are white.
Gary is red.
@0: Fiona is blue.[(triple1)] Fiona is nice.[(triple2)] Fiona is rough.[(triple3)] Gary is cold.[(triple4)] Gary is nice.[(triple5)] Gary is rough.[(triple6 OR ((((triple7) -> rule4)) -> rule3))] Gary is white.[(triple7)] @1: Gary is smart.[(((triple7) -> rule4))]