Gary is not kind. Gary is nice. Gary is not young. All blue, kind people are young. All blue, nice people are not kind. If someone is kind and green then they are not blue. Blue, young people are green. If Gary is blue then Gary is nice. If someone is nice then they are round. If Gary is young then Gary is not blue. If Gary is round and Gary is not rough then Gary is young.
Gary is not young.
@0: Gary is nice.[(triple2)] Gary is not kind.[(triple1)] Gary is not young.[(triple3)] @1: Gary is round.[(((triple2) -> rule6))]