Anne is young. Charlie is not red. Gary is not blue. Gary is kind. Gary is not rough. Gary is not young. Harry is green. If Gary is green then Gary is not blue. All young people are blue. If Harry is white and Harry is young then Harry is not green. All red people are green. Blue, young people are red. If someone is green then they are white. If someone is blue and white then they are kind. All red people are not rough. If someone is young and not white then they are rough.
Anne is kind.
@0: Anne is young.[(triple1)] Charlie is not red.[(triple2)] Gary is kind.[(triple4)] Gary is not blue.[(triple3)] Gary is not rough.[(triple5)] Gary is not young.[(triple6)] Harry is green.[(triple7)] @1: Anne is blue.[(((triple1) -> rule2))] Harry is white.[(((triple7) -> rule6))] @2: Anne is red.[(((((triple1) -> rule2) triple1) -> rule5))] @3: Anne is green.[(((((((triple1) -> rule2) triple1) -> rule5)) -> rule4))] Anne is not rough.[(((((((triple1) -> rule2) triple1) -> rule5)) -> rule8))] @4: Anne is white.[(((((((((triple1) -> rule2) triple1) -> rule5)) -> rule4)) -> rule6))] @5: Anne is kind.[(((((triple1) -> rule2) ((((((((triple1) -> rule2) triple1) -> rule5)) -> rule4)) -> rule6)) -> rule7))]