Dave is big. Dave is rough. Dave is smart. Rough things are round. Big, quiet things are cold. Rough, young things are cold. Round things are quiet. All quiet, young things are not big. Young things are not big.
Dave is not cold.
@0: Dave is big.[(triple1)] Dave is rough.[(triple2)] Dave is smart.[(triple3)] @1: Dave is round.[(((triple2) -> rule1))] @2: Dave is quiet.[(((((triple2) -> rule1)) -> rule4))] @3: Dave is cold.[(((triple1 ((((triple2) -> rule1)) -> rule4)) -> rule2))]