Dave is quiet. If someone is rough then they are quiet. If someone is round and furry then they are rough. Round, nice people are big. Nice people are furry. Round, furry people are nice. All quiet, furry people are kind. If Dave is quiet then Dave is round. If Dave is round then Dave is furry.
Dave is not round.
@0: Dave is quiet.[(triple1)] @1: Dave is round.[(((triple1) -> rule7))] @2: Dave is furry.[(((((triple1) -> rule7)) -> rule8))] @3: Dave is kind.[(((triple1 ((((triple1) -> rule7)) -> rule8)) -> rule6))] Dave is nice.[(((((triple1) -> rule7) ((((triple1) -> rule7)) -> rule8)) -> rule5))] Dave is rough.[(((((triple1) -> rule7) ((((triple1) -> rule7)) -> rule8)) -> rule2))] @4: Dave is big.[(((((triple1) -> rule7) ((((triple1) -> rule7) ((((triple1) -> rule7)) -> rule8)) -> rule5)) -> rule3))]