Harry is big. Harry is kind. Harry is nice. Harry is rough. Harry is smart. Harry is white. Harry is young. All white people are young. If Harry is nice and Harry is young then Harry is smart. If Harry is smart then Harry is nice. All smart, white people are big. All smart people are white. All big people are nice. All smart people are white. If someone is young and smart then they are kind.
Harry is white.
@0: Harry is big.[(triple1 OR ((triple5 triple6) -> rule4) OR ((triple5 ((triple5) -> rule5)) -> rule4) OR ((triple5 ((triple5) -> rule7)) -> rule4) OR ((((triple3 triple7) -> rule2) triple6) -> rule4) OR ((((triple3 triple7) -> rule2) ((triple5) -> rule5)) -> rule4) OR ((((triple3 triple7) -> rule2) ((triple5) -> rule7)) -> rule4) OR ((triple5 ((((triple3 triple7) -> rule2)) -> rule5)) -> rule4) OR ((triple5 ((((triple3 triple7) -> rule2)) -> rule7)) -> rule4) OR ((((triple3 ((triple6) -> rule1)) -> rule2) triple6) -> rule4) OR ((((triple3 triple7) -> rule2) ((((triple3 triple7) -> rule2)) -> rule5)) -> rule4) OR ((((triple3 triple7) -> rule2) ((((triple3 triple7) -> rule2)) -> rule7)) -> rule4) OR ((((triple3 ((triple6) -> rule1)) -> rule2) ((triple5) -> rule5)) -> rule4) OR ((((triple3 ((triple6) -> rule1)) -> rule2) ((triple5) -> rule7)) -> rule4) OR ((((triple3 ((triple6) -> rule1)) -> rule2) ((((triple3 triple7) -> rule2)) -> rule5)) -> rule4) OR ((((triple3 ((triple6) -> rule1)) -> rule2) ((((triple3 triple7) -> rule2)) -> rule7)) -> rule4))] Harry is kind.[(triple2 OR ((triple7 triple5) -> rule8) OR ((triple7 ((triple3 triple7) -> rule2)) -> rule8) OR ((((triple6) -> rule1) triple5) -> rule8) OR ((((triple6) -> rule1) ((triple3 triple7) -> rule2)) -> rule8) OR ((triple7 ((triple3 ((triple6) -> rule1)) -> rule2)) -> rule8) OR ((triple7 ((((triple1) -> rule6) triple7) -> rule2)) -> rule8) OR ((((((triple5) -> rule5)) -> rule1) triple5) -> rule8) OR ((((((triple5) -> rule7)) -> rule1) triple5) -> rule8) OR ((triple7 ((((triple1) -> rule6) ((triple6) -> rule1)) -> rule2)) -> rule8) OR ((((triple6) -> rule1) ((triple3 ((triple6) -> rule1)) -> rule2)) -> rule8) OR ((((triple6) -> rule1) ((((triple1) -> rule6) triple7) -> rule2)) -> rule8) OR ((((((triple5) -> rule5)) -> rule1) ((triple3 triple7) -> rule2)) -> rule8) OR ((((((triple5) -> rule7)) -> rule1) ((triple3 triple7) -> rule2)) -> rule8) OR ((((triple6) -> rule1) ((((triple1) -> rule6) ((triple6) -> rule1)) -> rule2)) -> rule8) OR ((((((triple5) -> rule5)) -> rule1) ((triple3 ((triple6) -> rule1)) -> rule2)) -> rule8) OR ((((((triple5) -> rule5)) -> rule1) ((((triple1) -> rule6) triple7) -> rule2)) -> rule8) OR ((((((triple5) -> rule7)) -> rule1) ((triple3 ((triple6) -> rule1)) -> rule2)) -> rule8) OR ((((((triple5) -> rule7)) -> rule1) ((((triple1) -> rule6) triple7) -> rule2)) -> rule8) OR ((((((triple5) -> rule5)) -> rule1) ((((triple1) -> rule6) ((triple6) -> rule1)) -> rule2)) -> rule8) OR ((((((triple5) -> rule7)) -> rule1) ((((triple1) -> rule6) ((triple6) -> rule1)) -> rule2)) -> rule8))] Harry is nice.[(triple3 OR ((triple1) -> rule6) OR ((triple5) -> rule3) OR ((((triple5 triple6) -> rule4)) -> rule6) OR ((((triple5 ((triple5) -> rule5)) -> rule4)) -> rule6) OR ((((triple5 ((triple5) -> rule7)) -> rule4)) -> rule6))] Harry is rough.[(triple4)] Harry is smart.[(triple5 OR ((triple3 triple7) -> rule2) OR ((triple3 ((triple6) -> rule1)) -> rule2) OR ((((triple1) -> rule6) triple7) -> rule2) OR ((((triple1) -> rule6) ((triple6) -> rule1)) -> rule2))] Harry is white.[(triple6 OR ((triple5) -> rule5) OR ((triple5) -> rule7) OR ((((triple3 triple7) -> rule2)) -> rule5) OR ((((triple3 triple7) -> rule2)) -> rule7) OR ((((((triple1) -> rule6) triple7) -> rule2)) -> rule5) OR ((((((triple1) -> rule6) triple7) -> rule2)) -> rule7))] Harry is young.[(triple7 OR ((triple6) -> rule1) OR ((((triple5) -> rule5)) -> rule1) OR ((((triple5) -> rule7)) -> rule1))]