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