Anne is not cold. Anne is furry. Anne is red. Bob is blue. Bob is not cold. Bob is not furry. Bob is quiet. Bob is young. Harry is white. Harry is young. If Anne is furry and Anne is not red then Anne is white.
Anne is quiet.
@0: Anne is furry.[(triple2)] Anne is not cold.[(triple1)] Anne is red.[(triple3)] Bob is blue.[(triple4)] Bob is not cold.[(triple5)] Bob is not furry.[(triple6)] Bob is quiet.[(triple7)] Bob is young.[(triple8)] Harry is white.[(triple9)] Harry is young.[(triple10)]