Dave is quiet. Dave is rough. Gary is furry. All quiet things are cold. Big things are smart. If something is cold then it is big. If something is quiet and round then it is big. All furry, round things are quiet. Round things are rough.
Gary is not furry.
@0: Dave is quiet.[(triple1)] Dave is rough.[(triple2)] Gary is furry.[(triple3)] @1: Dave is cold.[(((triple1) -> rule1))] @2: Dave is big.[(((((triple1) -> rule1)) -> rule3))] @3: Dave is smart.[(((((((triple1) -> rule1)) -> rule3)) -> rule2))]