Bob is young. Charlie is not big. Gary is not red. If Charlie is not red then Charlie is big. If Bob is red then Bob is not white. All quiet, red things are white. All nice things are quiet. If Gary is quiet then Gary is red. If something is nice and not red then it is big.
Charlie is red.
@0: Bob is young.[(triple1)] Charlie is not big.[(triple2)] Gary is not red.[(triple3)]