その印刷枚数が息苦しくないとすれば男らしくない
fact1: もしもその印刷枚数が息苦しくないとすればそれは男らしい fact2: もしあのサブミクロンは対戦者でないならばそれは息苦しくない fact3: もしあるものが息苦しいということはないとしたらそれは男らしくない fact4: もしもある物は労働界であるということはないならばそれは間違い無くない fact5: 息苦しくないものは男らしい fact6: 間違い無いということはないものは紛れない fact7: もし「その印刷枚数は息苦しい」ということは確かであるとしたらそれは男らしくない
fact3 -> hypothesis;
$facts$ = fact1: もしもその印刷枚数が息苦しくないとすればそれは男らしい fact2: もしあのサブミクロンは対戦者でないならばそれは息苦しくない fact3: もしあるものが息苦しいということはないとしたらそれは男らしくない fact4: もしもある物は労働界であるということはないならばそれは間違い無くない fact5: 息苦しくないものは男らしい fact6: 間違い無いということはないものは紛れない fact7: もし「その印刷枚数は息苦しい」ということは確かであるとしたらそれは男らしくない ; $hypothesis$ = その印刷枚数が息苦しくないとすれば男らしくない ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もしもその印刷枚数が息苦しくないとすればそれは男らしい
事実2: もしあのサブミクロンは対戦者でないならばそれは息苦しくない
事実3: もしあるものが息苦しいということはないとしたらそれは男らしくない
事実4: もしもある物は労働界であるということはないならばそれは間違い無くない
事実5: 息苦しくないものは男らしい
事実6: 間違い無いということはないものは紛れない
事実7: もし「その印刷枚数は息苦しい」ということは確かであるとしたらそれは男らしくない

仮説: その印刷枚数が息苦しくないとすれば男らしくない
1. 事実3から、仮説が導かれる

よって、仮説が証明されました。