Bob is big. Bob is red. Bob is not rough. Charlie is kind. Charlie is not quiet. Charlie is rough. Charlie is white. Gary is kind. Harry is round. Harry is white. All white, rough people are not big.
Bob is not big.
@0: Bob is big.[(triple1)] Bob is not rough.[(triple3)] Bob is red.[(triple2)] Charlie is kind.[(triple4)] Charlie is not quiet.[(triple5)] Charlie is rough.[(triple6)] Charlie is white.[(triple7)] Gary is kind.[(triple8)] Harry is round.[(triple9)] Harry is white.[(triple10)] @1: Charlie is not big.[(((triple7 triple6) -> rule1))]