Bob is big. Bob is not furry. Bob is not kind. Bob is quiet. Bob is smart. Dave is not big. Dave is quiet. Quiet, furry people are not cold. All smart, young people are furry. Kind people are not furry. Kind people are furry. If someone is furry and not big then they are not smart. All furry, smart people are young.
Bob is cold.
@0: Bob is big.[(triple1)] Bob is not furry.[(triple2)] Bob is not kind.[(triple3)] Bob is quiet.[(triple4)] Bob is smart.[(triple5)] Dave is not big.[(triple6)] Dave is quiet.[(triple7)]