Gary is not cold. Gary is green. Gary is nice. Gary is not red. Gary is round. Gary is young. Harry is not big. Harry is cold. Harry is not green. Harry is not nice. Harry is round. Harry is young. If Gary is young and Gary is not big then Gary is round. If Gary is green and Gary is not nice then Gary is round.
Harry is round.
@0: Gary is green.[(triple2)] Gary is nice.[(triple3)] Gary is not cold.[(triple1)] Gary is not red.[(triple4)] Gary is round.[(triple5)] Gary is young.[(triple6)] Harry is cold.[(triple8)] Harry is not big.[(triple7)] Harry is not green.[(triple9)] Harry is not nice.[(triple10)] Harry is round.[(triple11)] Harry is young.[(triple12)]