Anne is young. Harry is kind. Harry is rough. If Anne is nice then Anne is green. Young things are nice. If Anne is green then Anne is big. If something is rough and not kind then it is green. If something is big and not nice then it is not rough. Kind, nice things are rough. If something is green and smart then it is rough. All green, nice things are not rough.
Harry is big.
@0: Anne is young.[(triple1)] Harry is kind.[(triple2)] Harry is rough.[(triple3)] @1: Anne is nice.[(((triple1) -> rule2))] @2: Anne is green.[(((((triple1) -> rule2)) -> rule1))] @3: Anne is big.[(((((((triple1) -> rule2)) -> rule1)) -> rule3))] Anne is not rough.[(((((((triple1) -> rule2)) -> rule1) ((triple1) -> rule2)) -> rule8))]