Bob is big. Bob is quiet. Erin is quiet. If something is red and big then it is white. Big, red things are cold. Red things are furry. All cold, smart things are furry. All big, white things are cold. If something is big and red then it is quiet. If something is smart and red then it is big. If Erin is big then Erin is white.
Bob is not white.
@0: Bob is big.[(triple1)] Bob is quiet.[(triple2)] Erin is quiet.[(triple3)]