Anne is big. Anne is blue. Anne is kind. Anne is white. Bob is big. Bob is kind. Bob is white. Gary is not big. Gary is blue. Gary is red. If something is blue and red then it is kind. Kind things are not rough.
Gary is not rough.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is kind.[(triple3)] Anne is white.[(triple4)] Bob is big.[(triple5)] Bob is kind.[(triple6)] Bob is white.[(triple7)] Gary is blue.[(triple9)] Gary is not big.[(triple8)] Gary is red.[(triple10)] @1: Anne is not rough.[(((triple3) -> rule2))] Bob is not rough.[(((triple6) -> rule2))] Gary is kind.[(((triple9 triple10) -> rule1))] @2: Gary is not rough.[(((((triple9 triple10) -> rule1)) -> rule2))]