この出来合いは空しいということはない
fact1: 「現代生活でないしおまけに数メートル先な」物はある fact2: もしも「現代生活でないが数メートル先である」物があるとするとこの出来合いは空しい
$facts$ = fact1: 「現代生活でないしおまけに数メートル先な」物はある fact2: もしも「現代生活でないが数メートル先である」物があるとするとこの出来合いは空しい ; $hypothesis$ = この出来合いは空しいということはない ; $proof$ = 
事実1: 「現代生活でないしおまけに数メートル先な」物はある
事実2: もしも「現代生活でないが数メートル先である」物があるとするとこの出来合いは空しい

仮説: この出来合いは空しいということはない