Anne is big. Anne is rough. Anne is young. Gary is red. Gary is young. Harry is big. Harry is not red. If someone is red and not big then they are not rough. Kind people are blue. If someone is red and not young then they are not furry.
Harry is not big.
@0: Anne is big.[(triple1)] Anne is rough.[(triple2)] Anne is young.[(triple3)] Gary is red.[(triple4)] Gary is young.[(triple5)] Harry is big.[(triple6)] Harry is not red.[(triple7)]