Harry is blue. Harry is kind. Harry is nice. If something is furry and green then it is white. All blue things are rough. If Harry is furry and Harry is green then Harry is kind. Blue, furry things are green. All green things are rough. If something is white and blue then it is kind. If Harry is nice and Harry is white then Harry is furry. If something is nice and rough then it is white.
Harry is kind.
@0: Harry is blue.[(triple1)] Harry is kind.[(triple2 OR ((((triple3 ((triple1) -> rule2)) -> rule8) triple1) -> rule6) OR ((((triple3 ((triple3 ((triple1) -> rule2)) -> rule8)) -> rule7) ((triple1 ((triple3 ((triple3 ((triple1) -> rule2)) -> rule8)) -> rule7)) -> rule4)) -> rule3))] Harry is nice.[(triple3)] @1: Harry is rough.[(((triple1) -> rule2))] @2: Harry is white.[(((triple3 ((triple1) -> rule2)) -> rule8))] @3: Harry is furry.[(((triple3 ((triple3 ((triple1) -> rule2)) -> rule8)) -> rule7))] @4: Harry is green.[(((triple1 ((triple3 ((triple3 ((triple1) -> rule2)) -> rule8)) -> rule7)) -> rule4))]