Bob is not rough. Dave is furry. Gary is rough. If Gary is big then Gary is not nice. Rough people are big. If someone is rough and not nice then they are not smart.
Gary is nice.
@0: Bob is not rough.[(triple1)] Dave is furry.[(triple2)] Gary is rough.[(triple3)] @1: Gary is big.[(((triple3) -> rule2))] @2: Gary is not nice.[(((((triple3) -> rule2)) -> rule1))] @3: Gary is not smart.[(((triple3 ((((triple3) -> rule2)) -> rule1)) -> rule3))]