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