Dave is nice. If Dave is furry and Dave is round then Dave is blue. Quiet, furry people are round. Smart, white people are furry. If Dave is furry then Dave is round. All round, nice people are smart. If someone is nice then they are furry.
Dave is quiet.
@0: Dave is nice.[(triple1)] @1: Dave is furry.[(((triple1) -> rule6))] @2: Dave is round.[(((((triple1) -> rule6)) -> rule4))] @3: Dave is blue.[(((((triple1) -> rule6) ((((triple1) -> rule6)) -> rule4)) -> rule1))] Dave is smart.[(((((((triple1) -> rule6)) -> rule4) triple1) -> rule5))]