Harry is cold. Harry is green. Harry is kind. Harry is red. Harry is rough. Harry is smart. Harry is young. Young, smart things are cold. If something is red and green then it is smart. Kind things are smart. All rough, green things are red. If Harry is green and Harry is kind then Harry is young. If something is smart then it is young.
Harry is not green.
@0: Harry is cold.[(triple1 OR ((triple7 triple6) -> rule1) OR ((triple7 ((triple3) -> rule3)) -> rule1) OR ((triple7 ((triple4 triple2) -> rule2)) -> rule1) OR ((((triple6) -> rule6) triple6) -> rule1) OR ((((triple2 triple3) -> rule5) triple6) -> rule1) OR ((((triple6) -> rule6) ((triple3) -> rule3)) -> rule1) OR ((((triple6) -> rule6) ((triple4 triple2) -> rule2)) -> rule1) OR ((((triple2 triple3) -> rule5) ((triple3) -> rule3)) -> rule1) OR ((((triple2 triple3) -> rule5) ((triple4 triple2) -> rule2)) -> rule1) OR ((triple7 ((((triple5 triple2) -> rule4) triple2) -> rule2)) -> rule1) OR ((((((triple3) -> rule3)) -> rule6) triple6) -> rule1) OR ((((((triple4 triple2) -> rule2)) -> rule6) triple6) -> rule1) OR ((((triple6) -> rule6) ((((triple5 triple2) -> rule4) triple2) -> rule2)) -> rule1) OR ((((((triple3) -> rule3)) -> rule6) ((triple3) -> rule3)) -> rule1) OR ((((((triple3) -> rule3)) -> rule6) ((triple4 triple2) -> rule2)) -> rule1) OR ((((((triple4 triple2) -> rule2)) -> rule6) ((triple3) -> rule3)) -> rule1) OR ((((((triple4 triple2) -> rule2)) -> rule6) ((triple4 triple2) -> rule2)) -> rule1) OR ((((triple2 triple3) -> rule5) ((((triple5 triple2) -> rule4) triple2) -> rule2)) -> rule1) OR ((((((triple3) -> rule3)) -> rule6) ((((triple5 triple2) -> rule4) triple2) -> rule2)) -> rule1) OR ((((((triple4 triple2) -> rule2)) -> rule6) ((((triple5 triple2) -> rule4) triple2) -> rule2)) -> rule1) OR ((((((((triple5 triple2) -> rule4) triple2) -> rule2)) -> rule6) triple6) -> rule1) OR ((((((((triple5 triple2) -> rule4) triple2) -> rule2)) -> rule6) ((triple3) -> rule3)) -> rule1) OR ((((((((triple5 triple2) -> rule4) triple2) -> rule2)) -> rule6) ((triple4 triple2) -> rule2)) -> rule1) OR ((((((((triple5 triple2) -> rule4) triple2) -> rule2)) -> rule6) ((((triple5 triple2) -> rule4) triple2) -> rule2)) -> rule1))] Harry is green.[(triple2)] Harry is kind.[(triple3)] Harry is red.[(triple4 OR ((triple5 triple2) -> rule4))] Harry is rough.[(triple5)] Harry is smart.[(triple6 OR ((triple3) -> rule3) OR ((triple4 triple2) -> rule2) OR ((((triple5 triple2) -> rule4) triple2) -> rule2))] Harry is young.[(triple7 OR ((triple6) -> rule6) OR ((triple2 triple3) -> rule5) OR ((((triple3) -> rule3)) -> rule6) OR ((((triple4 triple2) -> rule2)) -> rule6) OR ((((((triple5 triple2) -> rule4) triple2) -> rule2)) -> rule6))]