Harry is big. Harry is blue. Harry is cold. Harry is furry. Harry is green. Harry is kind. Harry is round. Round, furry people are green. Big, blue people are kind. If Harry is big then Harry is furry.
Harry is not blue.
@0: Harry is big.[(triple1)] Harry is blue.[(triple2)] Harry is cold.[(triple3)] Harry is furry.[(triple4 OR ((triple1) -> rule3))] Harry is green.[(triple5 OR ((triple7 triple4) -> rule1) OR ((triple7 ((triple1) -> rule3)) -> rule1))] Harry is kind.[(triple6 OR ((triple1 triple2) -> rule2))] Harry is round.[(triple7)]