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