Anne is big. Charlie is not blue. Charlie is furry. Dave is big. Dave is furry. Harry is not furry. Harry is smart. If something is nice then it is young. If something is blue and not cold then it is not young. Blue, furry things are not young. All blue, smart things are not big. If something is cold then it is not blue. If Anne is blue then Anne is nice.
Anne is not nice.
@0: Anne is big.[(triple1)] Charlie is furry.[(triple3)] Charlie is not blue.[(triple2)] Dave is big.[(triple4)] Dave is furry.[(triple5)] Harry is not furry.[(triple6)] Harry is smart.[(triple7)]