そのベルリン・オリンピックはぎゅうぎゅう詰めでなくて更に寄せ付けない
fact1: 仮にあるものがうつ伏すならそれは寄せ付けない fact2: そのベルリン・オリンピックが呟き続けないならばあの印刷形式は旧来型でなくてかつうつ伏すということはない fact3: なんらかのものがうつ伏すとしたらそれはぎゅうぎゅう詰めでなくてその上寄せ付けない fact4: そのベルリン・オリンピックは呟き続けるしうつ伏す fact5: もし仮に何らかのものは呟き続けないならば「ぎゅうぎゅう詰めでないし寄せ付けない」ということは成り立たない
fact4 -> int1: 「そのベルリン・オリンピックはうつ伏す」ということは正しい; fact3 -> int2: 仮に「そのベルリン・オリンピックはうつ伏す」ということは成り立つならぎゅうぎゅう詰めでないし寄せ付けない; int1 & int2 -> hypothesis;
「そのベルリン・オリンピックはぎゅうぎゅう詰めでないし更に寄せ付けるということはない」ということは間違いである
fact6 -> int3: もしそのベルリン・オリンピックは呟き続けないとしたら「ぎゅうぎゅう詰めでなくてそれは寄せ付けない」ということは成り立たない;
$facts$ = fact1: 仮にあるものがうつ伏すならそれは寄せ付けない fact2: そのベルリン・オリンピックが呟き続けないならばあの印刷形式は旧来型でなくてかつうつ伏すということはない fact3: なんらかのものがうつ伏すとしたらそれはぎゅうぎゅう詰めでなくてその上寄せ付けない fact4: そのベルリン・オリンピックは呟き続けるしうつ伏す fact5: もし仮に何らかのものは呟き続けないならば「ぎゅうぎゅう詰めでないし寄せ付けない」ということは成り立たない ; $hypothesis$ = そのベルリン・オリンピックはぎゅうぎゅう詰めでなくて更に寄せ付けない ; $proof$ = 
fact4 -> int1: 「そのベルリン・オリンピックはうつ伏す」ということは正しい; fact3 -> int2: 仮に「そのベルリン・オリンピックはうつ伏す」ということは成り立つならぎゅうぎゅう詰めでないし寄せ付けない; int1 & int2 -> hypothesis; __PROVED__
事実1: 仮にあるものがうつ伏すならそれは寄せ付けない
事実2: そのベルリン・オリンピックが呟き続けないならばあの印刷形式は旧来型でなくてかつうつ伏すということはない
事実3: なんらかのものがうつ伏すとしたらそれはぎゅうぎゅう詰めでなくてその上寄せ付けない
事実4: そのベルリン・オリンピックは呟き続けるしうつ伏す
事実5: もし仮に何らかのものは呟き続けないならば「ぎゅうぎゅう詰めでないし寄せ付けない」ということは成り立たない

仮説: そのベルリン・オリンピックはぎゅうぎゅう詰めでなくて更に寄せ付けない
1. 事実4から、推論1: "「そのベルリン・オリンピックはうつ伏す」ということは正しい"が導かれる
2. 事実3から、推論2: "仮に「そのベルリン・オリンピックはうつ伏す」ということは成り立つならぎゅうぎゅう詰めでないし寄せ付けない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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