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