Bob is green. Bob is quiet. Bob is smart. Dave is blue. Dave is furry. Dave is green. Dave is kind. Dave is quiet. Dave is red. Dave is smart. Harry is quiet. Harry is red. All quiet people are blue. All smart, furry people are red. If Harry is blue and Harry is red then Harry is furry.
Bob is not red.
@0: Bob is green.[(triple1)] Bob is quiet.[(triple2)] Bob is smart.[(triple3)] Dave is blue.[(triple4 OR ((triple8) -> rule1))] Dave is furry.[(triple5)] Dave is green.[(triple6)] Dave is kind.[(triple7)] Dave is quiet.[(triple8)] Dave is red.[(triple9 OR ((triple10 triple5) -> rule2))] Dave is smart.[(triple10)] Harry is quiet.[(triple11)] Harry is red.[(triple12)] @1: Bob is blue.[(((triple2) -> rule1))] Harry is blue.[(((triple11) -> rule1))] @2: Harry is furry.[(((((triple11) -> rule1) triple12) -> rule3))]