Bob is not big. Bob is blue. Bob is green. Bob is not quiet. Bob is not round. Charlie is big. Charlie is blue. Charlie is not cold. Charlie is nice. Harry is big. Harry is blue. Harry is cold. Harry is green. Harry is quiet. Harry is round. If Charlie is quiet and Charlie is green then Charlie is big.
Harry is quiet.
@0: Bob is blue.[(triple2)] Bob is green.[(triple3)] Bob is not big.[(triple1)] Bob is not quiet.[(triple4)] Bob is not round.[(triple5)] Charlie is big.[(triple6)] Charlie is blue.[(triple7)] Charlie is nice.[(triple9)] Charlie is not cold.[(triple8)] Harry is big.[(triple10)] Harry is blue.[(triple11)] Harry is cold.[(triple12)] Harry is green.[(triple13)] Harry is quiet.[(triple14)] Harry is round.[(triple15)]