Anne is big. Anne is not cold. Anne is not furry. Anne is nice. Anne is quiet. Anne is not red. Anne is white. Bob is not big. Bob is cold. Bob is furry. Bob is nice. Bob is quiet. Bob is not red. Bob is not white. If Anne is cold then Anne is big.
Anne is not cold.
@0: Anne is big.[(triple1)] Anne is nice.[(triple4)] Anne is not cold.[(triple2)] Anne is not furry.[(triple3)] Anne is not red.[(triple6)] Anne is quiet.[(triple5)] Anne is white.[(triple7)] Bob is cold.[(triple9)] Bob is furry.[(triple10)] Bob is nice.[(triple11)] Bob is not big.[(triple8)] Bob is not red.[(triple13)] Bob is not white.[(triple14)] Bob is quiet.[(triple12)]