Anne is blue. Anne is green. Anne is kind. Anne is red. Anne is young. Bob is red. Bob is rough. Erin is kind. Erin is rough. Harry is kind. Harry is not white. Harry is young. All blue people are white. If someone is blue and not white then they are not kind. White people are kind.
Anne is not green.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3 OR ((((triple1) -> rule1)) -> rule3))] Anne is red.[(triple4)] Anne is young.[(triple5)] Bob is red.[(triple6)] Bob is rough.[(triple7)] Erin is kind.[(triple8)] Erin is rough.[(triple9)] Harry is kind.[(triple10)] Harry is not white.[(triple11)] Harry is young.[(triple12)] @1: Anne is white.[(((triple1) -> rule1))]