Anne is big. Anne is blue. Anne is kind. Anne is nice. Anne is red. Anne is round. Gary is nice. Gary is white. Harry is big. Harry is nice. Red, white people are kind. If Anne is not blue then Anne is kind. If Gary is not big then Gary is white.
Anne is not red.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is red.[(triple5)] Anne is round.[(triple6)] Gary is nice.[(triple7)] Gary is white.[(triple8)] Harry is big.[(triple9)] Harry is nice.[(triple10)]