Anne is blue. Charlie is not kind. Fiona is not blue. Gary is not smart. All smart, blue things are red. If something is smart and not rough then it is not blue.
Fiona is cold.
@0: Anne is blue.[(triple1)] Charlie is not kind.[(triple2)] Fiona is not blue.[(triple3)] Gary is not smart.[(triple4)]