Anne is big. Anne is blue. Anne is nice. Anne is white. Bob is big. Bob is not blue. Bob is nice. If something is cold then it is smart. Smart, nice things are big. If Anne is not smart then Anne is blue. Cold things are white. All furry things are white. Cold things are white. Nice, smart things are not furry. If something is cold and not blue then it is not furry.
Anne is not smart.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is nice.[(triple3)] Anne is white.[(triple4)] Bob is big.[(triple5)] Bob is nice.[(triple7)] Bob is not blue.[(triple6)]