Bob is red. Charlie is red. Gary is young. If Charlie is young then Charlie is kind. If Charlie is big then Charlie is red.
Gary is not young.
@0: Bob is red.[(triple1)] Charlie is red.[(triple2)] Gary is young.[(triple3)]