もし仮に「あのらふてえは日向側でない」ということは成り立つとするとその短波放送はアレルギー体質でその上ランク分けしない
fact1: 仮に「その短波放送はアレルギー体質であるしそれにそれはランク分けする」ということは事実と異なるとすればあのらふてえは日向側である fact2: もし仮にその短波放送がアレルギー体質であるということはないとしたらあのらふてえは日向側であるけどランク分けしない fact3: もし仮に「その短波放送はアレルギー体質である一方でランク分けしない」ということは成り立たないならばあのらふてえは日向側だ fact4: その短波放送はアレルギー体質だ fact5: もしもその短波放送がアップルメニューでおまけにそれが極まりないとすればこの情報提供会計は起き易くない fact6: その短波放送はアップルメニューであるし更にそれは極まりない fact7: 「その短波放送はアレルギー体質であるがしかしランク分けしない」ということは成り立つとすればあのらふてえは日向側だ fact8: 仮に起き易くない物はイメージし易くないとすると日向側でない
void -> assump2: 以下のように仮定する。「その短波放送はアレルギー体質だ一方でランク分けしない」ということは成り立たない; fact3 & assump2 -> int1: あのらふてえは日向側だ; void -> assump1: 以下のように仮定する。あのらふてえは日向側でない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: その短波放送はアレルギー体質であるけどランク分けするということはない; [assump1] & int3 -> hypothesis;
この情報提供会計は日向側でない
fact11 -> int4: もしもこの情報提供会計は起き易くないししかもイメージし易くないならば日向側でない; fact10 & fact9 -> int5: この情報提供会計は起き易くない;
$facts$ = fact1: 仮に「その短波放送はアレルギー体質であるしそれにそれはランク分けする」ということは事実と異なるとすればあのらふてえは日向側である fact2: もし仮にその短波放送がアレルギー体質であるということはないとしたらあのらふてえは日向側であるけどランク分けしない fact3: もし仮に「その短波放送はアレルギー体質である一方でランク分けしない」ということは成り立たないならばあのらふてえは日向側だ fact4: その短波放送はアレルギー体質だ fact5: もしもその短波放送がアップルメニューでおまけにそれが極まりないとすればこの情報提供会計は起き易くない fact6: その短波放送はアップルメニューであるし更にそれは極まりない fact7: 「その短波放送はアレルギー体質であるがしかしランク分けしない」ということは成り立つとすればあのらふてえは日向側だ fact8: 仮に起き易くない物はイメージし易くないとすると日向側でない ; $hypothesis$ = もし仮に「あのらふてえは日向側でない」ということは成り立つとするとその短波放送はアレルギー体質でその上ランク分けしない ; $proof$ = 
void -> assump2: 以下のように仮定する。「その短波放送はアレルギー体質だ一方でランク分けしない」ということは成り立たない; fact3 & assump2 -> int1: あのらふてえは日向側だ; void -> assump1: 以下のように仮定する。あのらふてえは日向側でない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: その短波放送はアレルギー体質であるけどランク分けするということはない; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 仮に「その短波放送はアレルギー体質であるしそれにそれはランク分けする」ということは事実と異なるとすればあのらふてえは日向側である
事実2: もし仮にその短波放送がアレルギー体質であるということはないとしたらあのらふてえは日向側であるけどランク分けしない
事実3: もし仮に「その短波放送はアレルギー体質である一方でランク分けしない」ということは成り立たないならばあのらふてえは日向側だ
事実4: その短波放送はアレルギー体質だ
事実5: もしもその短波放送がアップルメニューでおまけにそれが極まりないとすればこの情報提供会計は起き易くない
事実6: その短波放送はアップルメニューであるし更にそれは極まりない
事実7: 「その短波放送はアレルギー体質であるがしかしランク分けしない」ということは成り立つとすればあのらふてえは日向側だ
事実8: 仮に起き易くない物はイメージし易くないとすると日向側でない

仮説: もし仮に「あのらふてえは日向側でない」ということは成り立つとするとその短波放送はアレルギー体質でその上ランク分けしない
1. 仮定2: 以下のように仮定する。「その短波放送はアレルギー体質だ一方でランク分けしない」ということは成り立たない
2. 事実3と仮定2から、推論1: "あのらふてえは日向側だ"が導かれる
3. 仮定1: 以下のように仮定する。あのらふてえは日向側でない
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "その短波放送はアレルギー体質であるけどランク分けするということはない"が導かれる
6. [仮定1]と推論3から、仮説が導かれる

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