Charlie is big. Charlie is quiet. Dave is cold. Dave is smart. Dave is white. Gary is cold. Gary is not quiet. Gary is not smart. Harry is big. Harry is blue. Harry is cold. Harry is not quiet. Harry is rough. Harry is smart. Harry is not white. If someone is white and big then they are rough.
Dave is quiet.
@0: Charlie is big.[(triple1)] Charlie is quiet.[(triple2)] Dave is cold.[(triple3)] Dave is smart.[(triple4)] Dave is white.[(triple5)] Gary is cold.[(triple6)] Gary is not quiet.[(triple7)] Gary is not smart.[(triple8)] Harry is big.[(triple9)] Harry is blue.[(triple10)] Harry is cold.[(triple11)] Harry is not quiet.[(triple12)] Harry is not white.[(triple15)] Harry is rough.[(triple13)] Harry is smart.[(triple14)]