Dave is not big. Dave is rough. Dave is round. If something is cold and round then it is smart. All rough, round things are not red. If Dave is cold then Dave is round. If something is smart and not red then it is not big. If Dave is rough and Dave is not red then Dave is quiet. If Dave is not cold and Dave is not round then Dave is quiet.
Dave is not smart.
@0: Dave is not big.[(triple1)] Dave is rough.[(triple2)] Dave is round.[(triple3)] @1: Dave is not red.[(((triple2 triple3) -> rule2))] @2: Dave is quiet.[(((triple2 ((triple2 triple3) -> rule2)) -> rule5))]