Anne is big. Bob is red. Gary is red. Harry is red. If Anne is green and Anne is nice then Anne is not furry.
Harry is not red.
@0: Anne is big.[(triple1)] Bob is red.[(triple2)] Gary is red.[(triple3)] Harry is red.[(triple4)]