Bob is red. Charlie is big. Gary is not round. All big, nice people are quiet. If someone is kind then they are blue. All kind people are blue. Nice people are blue. All round people are not kind. If Bob is kind and Bob is big then Bob is quiet.
Bob is not blue.
@0: Bob is red.[(triple1)] Charlie is big.[(triple2)] Gary is not round.[(triple3)]