Bob is smart. Dave is round. All big people are not furry. If Dave is furry and Dave is not smart then Dave is not quiet. Blue, furry people are round. Quiet people are not big. Green people are big. All round people are quiet. If someone is smart then they are green. If someone is blue and not smart then they are green.
Dave is not round.
@0: Bob is smart.[(triple1)] Dave is round.[(triple2)] @1: Bob is green.[(((triple1) -> rule7))] Dave is quiet.[(((triple2) -> rule6))] @2: Bob is big.[(((((triple1) -> rule7)) -> rule5))] Dave is not big.[(((((triple2) -> rule6)) -> rule4))] @3: Bob is not furry.[(((((((triple1) -> rule7)) -> rule5)) -> rule1))]