Anne is furry. Anne is rough. Dave is rough. Dave is round. Dave is smart. Gary is big. Gary is white. Rough, round people are big.
Dave is not round.
@0: Anne is furry.[(triple1)] Anne is rough.[(triple2)] Dave is rough.[(triple3)] Dave is round.[(triple4)] Dave is smart.[(triple5)] Gary is big.[(triple6)] Gary is white.[(triple7)] @1: Dave is big.[(((triple3 triple4) -> rule1))]