Dave is cold. Erin is cold. Fiona is big. Gary is cold. Furry people are cold. If Erin is green and Erin is cold then Erin is round. If Dave is green and Dave is round then Dave is cold. Nice, green people are cold. If someone is nice then they are green. All round people are green.
Erin is not round.
@0: Dave is cold.[(triple1)] Erin is cold.[(triple2)] Fiona is big.[(triple3)] Gary is cold.[(triple4)]