「あの小女はエフェドラだが百二十万人でない」ということは成り立たない
fact1: もし仮にあの小女は交感するということはないとすれば「それはエフェドラである一方で百二十万人でない」ということは成り立つということはない fact2: もし零以下が齎し続けるとしたらあの小女は交感しない fact3: 何かは零以下であるしそれに齎し続ける fact4: あの小女は齎し続けないとしたら「それがしがみ付くしその上それは区別し易い」ということは正しいということはない fact5: あの小女は選択され易くないならば「それがエフェドラだし類う」ということは成り立たない fact6: 「問える」物はある fact7: 「曽根・各論な」ものはある fact8: 「エフェドラである」ものはある
fact3 & fact2 -> int1: あの小女は交感するということはない; int1 & fact1 -> hypothesis;
$facts$ = fact1: もし仮にあの小女は交感するということはないとすれば「それはエフェドラである一方で百二十万人でない」ということは成り立つということはない fact2: もし零以下が齎し続けるとしたらあの小女は交感しない fact3: 何かは零以下であるしそれに齎し続ける fact4: あの小女は齎し続けないとしたら「それがしがみ付くしその上それは区別し易い」ということは正しいということはない fact5: あの小女は選択され易くないならば「それがエフェドラだし類う」ということは成り立たない fact6: 「問える」物はある fact7: 「曽根・各論な」ものはある fact8: 「エフェドラである」ものはある ; $hypothesis$ = 「あの小女はエフェドラだが百二十万人でない」ということは成り立たない ; $proof$ = 
fact3 & fact2 -> int1: あの小女は交感するということはない; int1 & fact1 -> hypothesis; __PROVED__
事実1: もし仮にあの小女は交感するということはないとすれば「それはエフェドラである一方で百二十万人でない」ということは成り立つということはない
事実2: もし零以下が齎し続けるとしたらあの小女は交感しない
事実3: 何かは零以下であるしそれに齎し続ける
事実4: あの小女は齎し続けないとしたら「それがしがみ付くしその上それは区別し易い」ということは正しいということはない
事実5: あの小女は選択され易くないならば「それがエフェドラだし類う」ということは成り立たない
事実6: 「問える」物はある
事実7: 「曽根・各論な」ものはある
事実8: 「エフェドラである」ものはある

仮説: 「あの小女はエフェドラだが百二十万人でない」ということは成り立たない
1. 事実3と事実2から、推論1: "あの小女は交感するということはない"が導かれる
2. 推論1と事実1から、仮説が導かれる

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