Bob is round. Erin is cold. Fiona is green. Gary is green. If Erin is round and Erin is nice then Erin is green. If something is cold and nice then it is green. All nice, green things are cold.
Bob is not round.
@0: Bob is round.[(triple1)] Erin is cold.[(triple2)] Fiona is green.[(triple3)] Gary is green.[(triple4)]