Dave is big. Red, cold things are not rough. Big things are rough. Rough, red things are not green. All rough things are not cold. If Dave is cold then Dave is not quiet. If Dave is not cold then Dave is green. Rough, big things are not young. If something is quiet and not green then it is young.
Dave is not rough.
@0: Dave is big.[(triple1)] @1: Dave is rough.[(((triple1) -> rule2))] @2: Dave is not cold.[(((((triple1) -> rule2)) -> rule4))] Dave is not young.[(((((triple1) -> rule2) triple1) -> rule7))] @3: Dave is green.[(((((((triple1) -> rule2)) -> rule4)) -> rule6))]