Dave is not big. If someone is smart and not young then they are red. All smart, white people are not red. If someone is nice then they are not white. Nice, smart people are white. Nice people are quiet. If Dave is nice and Dave is not big then Dave is white.
Dave is big.
@0: Dave is not big.[(triple1)]