Erin is not red. If someone is big and not green then they are quiet. If someone is big then they are red. If someone is kind and not quiet then they are not white.
Erin is not quiet.
@0: Erin is not red.[(triple1)]