Erin is cold. Fiona is cold. Gary is not cold. All red people are smart. If someone is quiet then they are not nice. If someone is rough and red then they are not nice.
Erin is not smart.
@0: Erin is cold.[(triple1)] Fiona is cold.[(triple2)] Gary is not cold.[(triple3)]