Bob is big. Harry is furry. If someone is big then they are blue. Young people are round. Big people are young. If Harry is round then Harry is blue. All furry people are round. All blue people are round. All blue, furry people are white. Big, furry people are blue.
Harry is not big.
@0: Bob is big.[(triple1)] Harry is furry.[(triple2)] @1: Bob is blue.[(((triple1) -> rule1))] Bob is young.[(((triple1) -> rule3))] Harry is round.[(((triple2) -> rule5))] @2: Bob is round.[(((((triple1) -> rule1)) -> rule6) OR ((((triple1) -> rule3)) -> rule2))] Harry is blue.[(((((triple2) -> rule5)) -> rule4))] @3: Harry is white.[(((((((triple2) -> rule5)) -> rule4) triple2) -> rule7))]