Charlie is blue. Charlie is kind. Charlie is quiet. Charlie is round. Gary is not blue. Gary is furry. Gary is kind. Gary is not quiet. Gary is rough. Gary is round. If something is quiet and not blue then it is not rough. If Gary is red then Gary is round. If Charlie is rough and Charlie is not red then Charlie is round.
Charlie is not furry.
@0: Charlie is blue.[(triple1)] Charlie is kind.[(triple2)] Charlie is quiet.[(triple3)] Charlie is round.[(triple4)] Gary is furry.[(triple6)] Gary is kind.[(triple7)] Gary is not blue.[(triple5)] Gary is not quiet.[(triple8)] Gary is rough.[(triple9)] Gary is round.[(triple10)]