Bob is smart. Charlie is cold. Fiona is smart. Gary is smart. All blue, rough people are smart. All smart, nice people are rough. Quiet people are cold.
Fiona is not rough.
@0: Bob is smart.[(triple1)] Charlie is cold.[(triple2)] Fiona is smart.[(triple3)] Gary is smart.[(triple4)]