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