Harry is big. Harry is blue. Harry is furry. Harry is kind. Harry is nice. Harry is red. Harry is young. All nice, kind things are young. If something is young then it is red. Blue, furry things are kind.
Harry is not red.
@0: Harry is big.[(triple1)] Harry is blue.[(triple2)] Harry is furry.[(triple3)] Harry is kind.[(triple4 OR ((triple2 triple3) -> rule3))] Harry is nice.[(triple5)] Harry is red.[(triple6 OR ((triple7) -> rule2) OR ((((triple5 triple4) -> rule1)) -> rule2) OR ((((triple5 ((triple2 triple3) -> rule3)) -> rule1)) -> rule2))] Harry is young.[(triple7 OR ((triple5 triple4) -> rule1) OR ((triple5 ((triple2 triple3) -> rule3)) -> rule1))]