Charlie is white. Erin is young. All quiet things are big. All furry, big things are blue. All red things are big. If Erin is blue then Erin is young. If Erin is blue and Erin is quiet then Erin is big. If something is big and blue then it is furry.
Charlie is not blue.
@0: Charlie is white.[(triple1)] Erin is young.[(triple2)]