Anne is big. Gary is big. If Anne is big and Anne is kind then Anne is not white. White things are round. Kind, big things are not rough. All furry things are kind. If something is rough and not furry then it is white. All furry, smart things are not white.
Anne is furry.
@0: Anne is big.[(triple1)] Gary is big.[(triple2)]