Charlie is round. Dave is big. Gary is big. Harry is round. All rough, young things are not round. If Charlie is red and Charlie is big then Charlie is not round. If something is rough and not round then it is blue.
Harry is green.
@0: Charlie is round.[(triple1)] Dave is big.[(triple2)] Gary is big.[(triple3)] Harry is round.[(triple4)]