Dave is not quiet. Dave is red. Dave is young. Harry is furry. Harry is quiet. Harry is not round. Harry is not young. If Harry is young then Harry is round. Young people are big. If someone is young and big then they are furry. If Dave is red and Dave is not round then Dave is big. If Harry is not furry then Harry is not red. If someone is white and young then they are not quiet. Red, furry people are not white. Quiet people are not white.
Harry is not round.
@0: Dave is not quiet.[(triple1)] Dave is red.[(triple2)] Dave is young.[(triple3)] Harry is furry.[(triple4)] Harry is not round.[(triple6)] Harry is not young.[(triple7)] Harry is quiet.[(triple5)] @1: Dave is big.[(((triple3) -> rule2))] Harry is not white.[(((triple5) -> rule8))] @2: Dave is furry.[(((triple3 ((triple3) -> rule2)) -> rule3))] @3: Dave is not white.[(((triple2 ((triple3 ((triple3) -> rule2)) -> rule3)) -> rule7))]