Anne is green. Dave is white. Harry is young. If Anne is green then Anne is kind. If Harry is kind and Harry is young then Harry is green. If someone is kind then they are young. Young people are rough. If Dave is round then Dave is white. If Dave is rough and Dave is nice then Dave is kind.
Harry is not white.
@0: Anne is green.[(triple1)] Dave is white.[(triple2)] Harry is young.[(triple3)] @1: Anne is kind.[(((triple1) -> rule1))] Harry is rough.[(((triple3) -> rule4))] @2: Anne is young.[(((((triple1) -> rule1)) -> rule3))] @3: Anne is rough.[(((((((triple1) -> rule1)) -> rule3)) -> rule4))]