Dave is big. Erin is big. If something is big and furry then it is cold. Kind things are quiet. Cold, big things are furry. All kind things are furry. All nice things are big. If something is cold and big then it is red.
Erin is not red.
@0: Dave is big.[(triple1)] Erin is big.[(triple2)]