Harry is blue. Harry is furry. Harry is kind. Harry is nice. Harry is red. Harry is smart. Harry is young. Smart, blue things are young. If something is smart and young then it is nice. All red, furry things are young. All furry things are blue. All red things are smart. All furry, smart things are kind. If Harry is kind then Harry is furry. If something is blue and nice then it is kind.
Harry is kind.
@0: Harry is blue.[(triple1 OR ((triple2) -> rule4) OR ((((triple3) -> rule7)) -> rule4))] Harry is furry.[(triple2 OR ((triple3) -> rule7) OR ((((triple1 triple4) -> rule8)) -> rule7) OR ((((triple1 ((triple6 triple7) -> rule2)) -> rule8)) -> rule7) OR ((((triple1 ((triple6 ((triple6 triple1) -> rule1)) -> rule2)) -> rule8)) -> rule7) OR ((((triple1 ((((triple5) -> rule5) triple7) -> rule2)) -> rule8)) -> rule7) OR ((((triple1 ((((triple5) -> rule5) ((triple6 triple1) -> rule1)) -> rule2)) -> rule8)) -> rule7) OR ((((triple1 ((triple6 ((((triple5) -> rule5) triple1) -> rule1)) -> rule2)) -> rule8)) -> rule7) OR ((((triple1 ((((triple5) -> rule5) ((((triple5) -> rule5) triple1) -> rule1)) -> rule2)) -> rule8)) -> rule7))] Harry is kind.[(triple3 OR ((triple1 triple4) -> rule8) OR ((triple2 triple6) -> rule6) OR ((triple1 ((triple6 triple7) -> rule2)) -> rule8) OR ((triple2 ((triple5) -> rule5)) -> rule6) OR ((((triple2) -> rule4) triple4) -> rule8) OR ((((triple2) -> rule4) ((triple6 triple7) -> rule2)) -> rule8) OR ((triple1 ((triple6 ((triple5 triple2) -> rule3)) -> rule2)) -> rule8) OR ((triple1 ((triple6 ((triple6 triple1) -> rule1)) -> rule2)) -> rule8) OR ((triple1 ((((triple5) -> rule5) triple7) -> rule2)) -> rule8) OR ((triple1 ((((triple5) -> rule5) ((triple5 triple2) -> rule3)) -> rule2)) -> rule8) OR ((triple1 ((((triple5) -> rule5) ((triple6 triple1) -> rule1)) -> rule2)) -> rule8) OR ((((triple2) -> rule4) ((triple6 ((triple5 triple2) -> rule3)) -> rule2)) -> rule8) OR ((((triple2) -> rule4) ((triple6 ((triple6 triple1) -> rule1)) -> rule2)) -> rule8) OR ((((triple2) -> rule4) ((((triple5) -> rule5) triple7) -> rule2)) -> rule8) OR ((((triple2) -> rule4) ((((triple5) -> rule5) ((triple5 triple2) -> rule3)) -> rule2)) -> rule8) OR ((((triple2) -> rule4) ((((triple5) -> rule5) ((triple6 triple1) -> rule1)) -> rule2)) -> rule8) OR ((triple1 ((triple6 ((triple6 ((triple2) -> rule4)) -> rule1)) -> rule2)) -> rule8) OR ((triple1 ((triple6 ((((triple5) -> rule5) triple1) -> rule1)) -> rule2)) -> rule8) OR ((triple1 ((triple6 ((((triple5) -> rule5) ((triple2) -> rule4)) -> rule1)) -> rule2)) -> rule8) OR ((triple1 ((((triple5) -> rule5) ((triple6 ((triple2) -> rule4)) -> rule1)) -> rule2)) -> rule8) OR ((triple1 ((((triple5) -> rule5) ((((triple5) -> rule5) triple1) -> rule1)) -> rule2)) -> rule8) OR ((((triple2) -> rule4) ((triple6 ((triple6 ((triple2) -> rule4)) -> rule1)) -> rule2)) -> rule8) OR ((((triple2) -> rule4) ((triple6 ((((triple5) -> rule5) triple1) -> rule1)) -> rule2)) -> rule8) OR ((triple1 ((((triple5) -> rule5) ((((triple5) -> rule5) ((triple2) -> rule4)) -> rule1)) -> rule2)) -> rule8) OR ((((triple2) -> rule4) ((triple6 ((((triple5) -> rule5) ((triple2) -> rule4)) -> rule1)) -> rule2)) -> rule8) OR ((((triple2) -> rule4) ((((triple5) -> rule5) ((triple6 ((triple2) -> rule4)) -> rule1)) -> rule2)) -> rule8) OR ((((triple2) -> rule4) ((((triple5) -> rule5) ((((triple5) -> rule5) triple1) -> rule1)) -> rule2)) -> rule8) OR ((((triple2) -> rule4) ((((triple5) -> rule5) ((((triple5) -> rule5) ((triple2) -> rule4)) -> rule1)) -> rule2)) -> rule8))] Harry is nice.[(triple4 OR ((triple6 triple7) -> rule2) OR ((triple6 ((triple5 triple2) -> rule3)) -> rule2) OR ((triple6 ((triple6 triple1) -> rule1)) -> rule2) OR ((((triple5) -> rule5) triple7) -> rule2) OR ((((triple5) -> rule5) ((triple5 triple2) -> rule3)) -> rule2) OR ((((triple5) -> rule5) ((triple6 triple1) -> rule1)) -> rule2) OR ((triple6 ((triple5 ((triple3) -> rule7)) -> rule3)) -> rule2) OR ((triple6 ((triple6 ((triple2) -> rule4)) -> rule1)) -> rule2) OR ((triple6 ((((triple5) -> rule5) triple1) -> rule1)) -> rule2) OR ((triple6 ((((triple5) -> rule5) ((triple2) -> rule4)) -> rule1)) -> rule2) OR ((((triple5) -> rule5) ((triple5 ((triple3) -> rule7)) -> rule3)) -> rule2) OR ((((triple5) -> rule5) ((triple6 ((triple2) -> rule4)) -> rule1)) -> rule2) OR ((((triple5) -> rule5) ((((triple5) -> rule5) triple1) -> rule1)) -> rule2) OR ((((triple5) -> rule5) ((((triple5) -> rule5) ((triple2) -> rule4)) -> rule1)) -> rule2) OR ((triple6 ((triple6 ((((triple3) -> rule7)) -> rule4)) -> rule1)) -> rule2) OR ((triple6 ((((triple5) -> rule5) ((((triple3) -> rule7)) -> rule4)) -> rule1)) -> rule2) OR ((((triple5) -> rule5) ((triple6 ((((triple3) -> rule7)) -> rule4)) -> rule1)) -> rule2) OR ((((triple5) -> rule5) ((((triple5) -> rule5) ((((triple3) -> rule7)) -> rule4)) -> rule1)) -> rule2))] Harry is red.[(triple5)] Harry is smart.[(triple6 OR ((triple5) -> rule5))] Harry is young.[(triple7 OR ((triple5 triple2) -> rule3) OR ((triple6 triple1) -> rule1) OR ((triple5 ((triple3) -> rule7)) -> rule3) OR ((triple6 ((triple2) -> rule4)) -> rule1) OR ((((triple5) -> rule5) triple1) -> rule1) OR ((((triple5) -> rule5) ((triple2) -> rule4)) -> rule1) OR ((triple5 ((((triple1 triple4) -> rule8)) -> rule7)) -> rule3) OR ((triple6 ((((triple3) -> rule7)) -> rule4)) -> rule1) OR ((((triple5) -> rule5) ((((triple3) -> rule7)) -> rule4)) -> rule1))]