Bob is big. Charlie is young. Dave is quiet. Gary is young. If Dave is green then Dave is nice. If someone is blue then they are green. If someone is big and green then they are not young. If Gary is blue and Gary is young then Gary is quiet. If someone is green then they are not nice. If someone is green then they are round.
Gary is young.
@0: Bob is big.[(triple1)] Charlie is young.[(triple2)] Dave is quiet.[(triple3)] Gary is young.[(triple4)]