Bob is big. Bob is blue. Bob is quiet. Bob is not round. Bob is smart. Bob is white. Charlie is blue. Charlie is not kind. Charlie is not quiet. Charlie is smart. Harry is big. Harry is quiet. If Harry is white and Harry is not smart then Harry is round. If Harry is blue and Harry is round then Harry is not big. If something is round then it is big.
Charlie is not big.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is not round.[(triple4)] Bob is quiet.[(triple3)] Bob is smart.[(triple5)] Bob is white.[(triple6)] Charlie is blue.[(triple7)] Charlie is not kind.[(triple8)] Charlie is not quiet.[(triple9)] Charlie is smart.[(triple10)] Harry is big.[(triple11)] Harry is quiet.[(triple12)]