Bob is red. Bob is round. Dave is cold. Erin is not big. Gary is big. Gary is rough. Gary is not round. If someone is round and not nice then they are red. If someone is young and not red then they are not cold.
Dave is cold.
@0: Bob is red.[(triple1)] Bob is round.[(triple2)] Dave is cold.[(triple3)] Erin is not big.[(triple4)] Gary is big.[(triple5)] Gary is not round.[(triple7)] Gary is rough.[(triple6)]