Anne is big. Anne is not rough. Anne is not smart. Anne is white. Bob is white. Charlie is round. Charlie is white. If Charlie is round and Charlie is white then Charlie is rough. All rough things are smart.
Bob is not smart.
@0: Anne is big.[(triple1)] Anne is not rough.[(triple2)] Anne is not smart.[(triple3)] Anne is white.[(triple4)] Bob is white.[(triple5)] Charlie is round.[(triple6)] Charlie is white.[(triple7)] @1: Charlie is rough.[(((triple6 triple7) -> rule1))] @2: Charlie is smart.[(((((triple6 triple7) -> rule1)) -> rule2))]