Anne is big. Dave is green. Harry is green. Rough things are green. Green, cold things are blue. If Dave is green and Dave is big then Dave is smart. If something is rough and not blue then it is nice. All rough things are nice. If something is green and not rough then it is nice.
Anne is cold.
@0: Anne is big.[(triple1)] Dave is green.[(triple2)] Harry is green.[(triple3)]