Dave is big. Dave is furry. Dave is not white. If Dave is red and Dave is not big then Dave is not quiet. All quiet, furry people are red. Furry people are quiet. Round people are not smart. Red people are smart. If someone is smart and not red then they are not round.
Dave is quiet.
@0: Dave is big.[(triple1)] Dave is furry.[(triple2)] Dave is not white.[(triple3)] @1: Dave is quiet.[(((triple2) -> rule3))] @2: Dave is red.[(((((triple2) -> rule3) triple2) -> rule2))] @3: Dave is smart.[(((((((triple2) -> rule3) triple2) -> rule2)) -> rule5))]