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