Harry is big. Harry is blue. Harry is furry. Harry is nice. Harry is round. Harry is smart. Harry is white. All blue, furry things are white. Round things are smart. All round, furry things are white.
Harry is not blue.
@0: Harry is big.[(triple1)] Harry is blue.[(triple2)] Harry is furry.[(triple3)] Harry is nice.[(triple4)] Harry is round.[(triple5)] Harry is smart.[(triple6 OR ((triple5) -> rule2))] Harry is white.[(triple7 OR ((triple2 triple3) -> rule1) OR ((triple5 triple3) -> rule3))]