Dave is round. Erin is cold. Harry is round. If Dave is rough and Dave is round then Dave is cold. If something is rough and not blue then it is round. If something is blue and cold then it is rough. If Dave is nice and Dave is big then Dave is not round. If something is kind and rough then it is not nice. If something is rough then it is not big.
Erin is not cold.
@0: Dave is round.[(triple1)] Erin is cold.[(triple2)] Harry is round.[(triple3)]