「もしもあの老人福祉制度がカールするとすればあの読者諸氏は艶めかしい」ということは成り立たない
fact1: この卒業は痩せ難くない fact2: もし仮にあの素材別が緩和すらないが痩せ難いならばこの進行中は拙くない fact3: 仮にこの卒業が切り盛りしないならあの素材別は緩和すらないがそれは痩せ難い fact4: 仮にこの進行中が切り盛りしないとすればこの卒業は拙くない fact5: もしもあの素材別は艶めかしいなら「この読者諸氏は痩せ難い」ということは事実である fact6: 仮にあの素材別が切り盛りしないならこの卒業は痩せ難くない fact7: もしこの進行中が拙くないとするとあの老人福祉制度はカールしない fact8: もしもあの老人福祉制度は拙いとしたら「この進行中はカールする」ということは成り立つ fact9: この読者諸氏は痩せ難いということはない fact10: この卒業が切り盛りしないならばあの素材別は緩和すということはない fact11: もしもこの進行中は拙くないとしたら「あの老人福祉制度はカールする」ということは本当である fact12: あの素材別は緩和すらない fact13: この卒業が切り盛りするならこの読者諸氏は艶めかしい fact14: もしもあの素材別が緩和すし痩せ難いとしたらこの進行中は拙くない
void -> assump2: 以下のように仮定する。この卒業は切り盛りしない; fact3 & assump2 -> int1: あの素材別は緩和すらないがそれは痩せ難い; int1 & fact2 -> int2: この進行中は拙くない; int2 & fact7 -> int3: あの老人福祉制度はカールしない; void -> assump1: 以下のように仮定する。あの老人福祉制度はカールする; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: この卒業は切り盛りする; int5 & fact13 -> int6: この読者諸氏は艶めかしい; [assump1] & int6 -> hypothesis;
$facts$ = fact1: この卒業は痩せ難くない fact2: もし仮にあの素材別が緩和すらないが痩せ難いならばこの進行中は拙くない fact3: 仮にこの卒業が切り盛りしないならあの素材別は緩和すらないがそれは痩せ難い fact4: 仮にこの進行中が切り盛りしないとすればこの卒業は拙くない fact5: もしもあの素材別は艶めかしいなら「この読者諸氏は痩せ難い」ということは事実である fact6: 仮にあの素材別が切り盛りしないならこの卒業は痩せ難くない fact7: もしこの進行中が拙くないとするとあの老人福祉制度はカールしない fact8: もしもあの老人福祉制度は拙いとしたら「この進行中はカールする」ということは成り立つ fact9: この読者諸氏は痩せ難いということはない fact10: この卒業が切り盛りしないならばあの素材別は緩和すということはない fact11: もしもこの進行中は拙くないとしたら「あの老人福祉制度はカールする」ということは本当である fact12: あの素材別は緩和すらない fact13: この卒業が切り盛りするならこの読者諸氏は艶めかしい fact14: もしもあの素材別が緩和すし痩せ難いとしたらこの進行中は拙くない ; $hypothesis$ = 「もしもあの老人福祉制度がカールするとすればあの読者諸氏は艶めかしい」ということは成り立たない ; $proof$ = 
void -> assump2: 以下のように仮定する。この卒業は切り盛りしない; fact3 & assump2 -> int1: あの素材別は緩和すらないがそれは痩せ難い; int1 & fact2 -> int2: この進行中は拙くない; int2 & fact7 -> int3: あの老人福祉制度はカールしない; void -> assump1: 以下のように仮定する。あの老人福祉制度はカールする; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: この卒業は切り盛りする; int5 & fact13 -> int6: この読者諸氏は艶めかしい; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: この卒業は痩せ難くない
事実2: もし仮にあの素材別が緩和すらないが痩せ難いならばこの進行中は拙くない
事実3: 仮にこの卒業が切り盛りしないならあの素材別は緩和すらないがそれは痩せ難い
事実4: 仮にこの進行中が切り盛りしないとすればこの卒業は拙くない
事実5: もしもあの素材別は艶めかしいなら「この読者諸氏は痩せ難い」ということは事実である
事実6: 仮にあの素材別が切り盛りしないならこの卒業は痩せ難くない
事実7: もしこの進行中が拙くないとするとあの老人福祉制度はカールしない
事実8: もしもあの老人福祉制度は拙いとしたら「この進行中はカールする」ということは成り立つ
事実9: この読者諸氏は痩せ難いということはない
事実10: この卒業が切り盛りしないならばあの素材別は緩和すということはない
事実11: もしもこの進行中は拙くないとしたら「あの老人福祉制度はカールする」ということは本当である
事実12: あの素材別は緩和すらない
事実13: この卒業が切り盛りするならこの読者諸氏は艶めかしい
事実14: もしもあの素材別が緩和すし痩せ難いとしたらこの進行中は拙くない

仮説: 「もしもあの老人福祉制度がカールするとすればあの読者諸氏は艶めかしい」ということは成り立たない
1. 仮定2: 以下のように仮定する。この卒業は切り盛りしない
2. 事実3と仮定2から、推論1: "あの素材別は緩和すらないがそれは痩せ難い"が導かれる
3. 推論1と事実2から、推論2: "この進行中は拙くない"が導かれる
4. 推論2と事実7から、推論3: "あの老人福祉制度はカールしない"が導かれる
5. 仮定1: 以下のように仮定する。あの老人福祉制度はカールする
6. 推論3と仮定1から、推論4: "これは矛盾である"が導かれる
7. [仮定2]と推論4から、推論5: "この卒業は切り盛りする"が導かれる
8. 推論5と事実13から、推論6: "この読者諸氏は艶めかしい"が導かれる
9. [仮定1]と推論6から、仮説が否定される

よって、仮説が否定されました。