Anne is young. Erin is green. Harry is young. Young things are not green. If something is big and green then it is nice. If something is young and quiet then it is not nice. If Harry is quiet then Harry is not nice. If something is big and nice then it is round. If something is green and not young then it is quiet.
Harry is not white.
@0: Anne is young.[(triple1)] Erin is green.[(triple2)] Harry is young.[(triple3)] @1: Anne is not green.[(((triple1) -> rule1))] Harry is not green.[(((triple3) -> rule1))]