Bob is not cold. Charlie is round. Gary is round. Harry is not big. Harry is cold. Harry is green. Harry is white. Big things are white. All round, kind things are cold. If something is white and not round then it is big.
Harry is not green.
@0: Bob is not cold.[(triple1)] Charlie is round.[(triple2)] Gary is round.[(triple3)] Harry is cold.[(triple5)] Harry is green.[(triple6)] Harry is not big.[(triple4)] Harry is white.[(triple7)]