Charlie is quiet. Gary is big. If someone is kind and cold then they are green. Green people are quiet. If someone is kind then they are quiet. Green people are cold. If someone is kind and big then they are cold. If someone is kind and smart then they are not white.
Charlie is not green.
@0: Charlie is quiet.[(triple1)] Gary is big.[(triple2)]