Dave is not cold. Dave is not red. Dave is not rough. Dave is young. Fiona is not cold. Fiona is red. Fiona is round. Gary is not cold. Gary is red. Gary is young. If someone is smart and red then they are cold. If someone is rough and young then they are cold.
Gary is smart.
@0: Dave is not cold.[(triple1)] Dave is not red.[(triple2)] Dave is not rough.[(triple3)] Dave is young.[(triple4)] Fiona is not cold.[(triple5)] Fiona is red.[(triple6)] Fiona is round.[(triple7)] Gary is not cold.[(triple8)] Gary is red.[(triple9)] Gary is young.[(triple10)]