Anne is young. Gary is smart. If Anne is cold and Anne is not smart then Anne is not quiet. All quiet things are young. If something is young and quiet then it is green. If something is green then it is cold. If something is green then it is big. If something is green and quiet then it is rough. If Gary is not green then Gary is smart. If Gary is young and Gary is not big then Gary is not rough.
Anne is young.
@0: Anne is young.[(triple1)] Gary is smart.[(triple2)]