その毬が潔しないならばあの医療問題は決算公告でないし判別し難くない
fact1: その医療問題は決算公告でないけど判別し難い fact2: その医療問題は決算公告でない fact3: もし仮になにがしかの物は確からしくないとしたら潔しし手酷い fact4: もし仮に「その医療問題は確からしい一方でネイティブらしくない」ということは誤っているとしたらそのパディントン発は確からしくない fact5: その医療問題は判別し難い fact6: その医療問題が決算公告ならその毬は潔し fact7: もしもその毬が潔しということはないとすればあの医療問題は決算公告でない fact8: もし仮にその医療問題が決算公告でないししかも判別し難くないならばその毬は潔し fact9: 「その医療問題は決算公告であるけどそれは判別し難いということはない」ということは成り立たない fact10: もし仮に「「その医療問題は決算公告でなくて判別し難くない」ということは成り立たない」ということは事実であるとすればその毬は潔し fact11: もし仮に「その医療問題は決算公告でないけど判別し難い」ということは偽ならその毬は潔し fact12: もしその毬が潔しないとすればあの医療問題は決算公告でないがそれは判別し難い
void -> assump2: 以下のように仮定する。「その医療問題は決算公告だということはないしおまけに判別し難くない」ということは成り立たない; fact10 & assump2 -> int1: その毬は潔し; void -> assump1: 以下のように仮定する。その毬は潔しない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: その医療問題は決算公告であるということはなくて判別し難いということはない; [assump1] & int3 -> hypothesis;
そのパディントン発は潔し
fact14 -> int4: もし仮にそのパディントン発が確からしくないとしたら潔しし手酷い;
$facts$ = fact1: その医療問題は決算公告でないけど判別し難い fact2: その医療問題は決算公告でない fact3: もし仮になにがしかの物は確からしくないとしたら潔しし手酷い fact4: もし仮に「その医療問題は確からしい一方でネイティブらしくない」ということは誤っているとしたらそのパディントン発は確からしくない fact5: その医療問題は判別し難い fact6: その医療問題が決算公告ならその毬は潔し fact7: もしもその毬が潔しということはないとすればあの医療問題は決算公告でない fact8: もし仮にその医療問題が決算公告でないししかも判別し難くないならばその毬は潔し fact9: 「その医療問題は決算公告であるけどそれは判別し難いということはない」ということは成り立たない fact10: もし仮に「「その医療問題は決算公告でなくて判別し難くない」ということは成り立たない」ということは事実であるとすればその毬は潔し fact11: もし仮に「その医療問題は決算公告でないけど判別し難い」ということは偽ならその毬は潔し fact12: もしその毬が潔しないとすればあの医療問題は決算公告でないがそれは判別し難い ; $hypothesis$ = その毬が潔しないならばあの医療問題は決算公告でないし判別し難くない ; $proof$ = 
void -> assump2: 以下のように仮定する。「その医療問題は決算公告だということはないしおまけに判別し難くない」ということは成り立たない; fact10 & assump2 -> int1: その毬は潔し; void -> assump1: 以下のように仮定する。その毬は潔しない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: その医療問題は決算公告であるということはなくて判別し難いということはない; [assump1] & int3 -> hypothesis; __PROVED__
事実1: その医療問題は決算公告でないけど判別し難い
事実2: その医療問題は決算公告でない
事実3: もし仮になにがしかの物は確からしくないとしたら潔しし手酷い
事実4: もし仮に「その医療問題は確からしい一方でネイティブらしくない」ということは誤っているとしたらそのパディントン発は確からしくない
事実5: その医療問題は判別し難い
事実6: その医療問題が決算公告ならその毬は潔し
事実7: もしもその毬が潔しということはないとすればあの医療問題は決算公告でない
事実8: もし仮にその医療問題が決算公告でないししかも判別し難くないならばその毬は潔し
事実9: 「その医療問題は決算公告であるけどそれは判別し難いということはない」ということは成り立たない
事実10: もし仮に「「その医療問題は決算公告でなくて判別し難くない」ということは成り立たない」ということは事実であるとすればその毬は潔し
事実11: もし仮に「その医療問題は決算公告でないけど判別し難い」ということは偽ならその毬は潔し
事実12: もしその毬が潔しないとすればあの医療問題は決算公告でないがそれは判別し難い

仮説: その毬が潔しないならばあの医療問題は決算公告でないし判別し難くない
1. 仮定2: 以下のように仮定する。「その医療問題は決算公告だということはないしおまけに判別し難くない」ということは成り立たない
2. 事実10と仮定2から、推論1: "その毬は潔し"が導かれる
3. 仮定1: 以下のように仮定する。その毬は潔しない
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "その医療問題は決算公告であるということはなくて判別し難いということはない"が導かれる
6. [仮定1]と推論3から、仮説が導かれる

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