Anne is rough. Bob is rough. Charlie is rough. Harry is red. If something is young then it is green. Young things are not green. If something is rough then it is not kind. If something is green then it is not big. If Anne is cold then Anne is not big. If Bob is big then Bob is green. All cold things are young. If something is cold then it is red.
Anne is not green.
@0: Anne is rough.[(triple1)] Bob is rough.[(triple2)] Charlie is rough.[(triple3)] Harry is red.[(triple4)] @1: Anne is not kind.[(((triple1) -> rule3))] Bob is not kind.[(((triple2) -> rule3))] Charlie is not kind.[(((triple3) -> rule3))]