その四十七都道府県庁所在都市は洋式トイレである
fact1: この脚弱症が陳腐化しないけど混同し易いとすればそれは手酷くない fact2: この脚弱症は陳腐化しない fact3: 仮にそのサブトラクション像が手酷いとしたらこの脚弱症は手酷い fact4: とあるものは陳腐化しないけど混同し易い fact5: 「この脚弱症は取り出し易くないがそれは蠢き出す」ということは間違っている fact6: もしも「「手酷くないけれど洋式トイレだ」ということは成り立たない」ものがあればその四十七都道府県庁所在都市は責め立てる fact7: この農業問題は言い訳しないけれど洋式トイレだ fact8: 仮にそのサウザンドが駆け付けるかそれが責め立てるとしたらその四十七都道府県庁所在都市は洋式トイレでない fact9: この脚弱症が陳腐化するしそれが混同し易いならばそれは手酷いということはない fact10: もしも利用し易くないものが重たいなら責め立てない fact11: 仮に「この脚弱症は取り出し易くないけれど蠢き出す」ということは成り立たないとしたら利用し易くない fact12: 「この脚弱症は陳腐化するし加えて混同し易い」ということは成り立たない fact13: 「「陳腐化するし混同し易い」ということは成り立たない」物はある fact14: 仮に「「陳腐化しないけど混同し易い」ということは事実でない」ものがあるとするとそのサウザンドは駆け付ける fact15: 「陳腐化する」ものがあるならそのサウザンドは駆け付ける fact16: 「そのサブトラクション像は手酷い」ということは事実だ fact17: もし仮に「この脚弱症は責め立てない」ということは成り立つならその四十七都道府県庁所在都市は手酷いか駆け付けるかまたは両方ともである fact18: 仮にそのサウザンドが責め立てるならばあの四十七都道府県庁所在都市は洋式トイレでない
void -> assump1: 以下のように仮定する。この脚弱症は陳腐化しないがしかしそれは混同し易い; fact1 & assump1 -> int1: 「この脚弱症は手酷いということはない」ということは成り立つ; fact16 & fact3 -> int2: この脚弱症は手酷い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この脚弱症は陳腐化しない一方で混同し易い」ということは誤っている; int4 -> int5: 「「陳腐化しなくて更に混同し易い」ということは成り立たない」ものはある; int5 & fact14 -> int6: そのサウザンドは駆け付ける; int6 -> int7: そのサウザンドは駆け付けるかまたは責め立てる; int7 & fact8 -> hypothesis;
その四十七都道府県庁所在都市は洋式トイレである
fact22 -> int8: もし仮にこの脚弱症は利用し易くないがしかし重たいなら責め立てない; fact21 & fact20 -> int9: 「この脚弱症は利用し易くない」ということは確かだ;
$facts$ = fact1: この脚弱症が陳腐化しないけど混同し易いとすればそれは手酷くない fact2: この脚弱症は陳腐化しない fact3: 仮にそのサブトラクション像が手酷いとしたらこの脚弱症は手酷い fact4: とあるものは陳腐化しないけど混同し易い fact5: 「この脚弱症は取り出し易くないがそれは蠢き出す」ということは間違っている fact6: もしも「「手酷くないけれど洋式トイレだ」ということは成り立たない」ものがあればその四十七都道府県庁所在都市は責め立てる fact7: この農業問題は言い訳しないけれど洋式トイレだ fact8: 仮にそのサウザンドが駆け付けるかそれが責め立てるとしたらその四十七都道府県庁所在都市は洋式トイレでない fact9: この脚弱症が陳腐化するしそれが混同し易いならばそれは手酷いということはない fact10: もしも利用し易くないものが重たいなら責め立てない fact11: 仮に「この脚弱症は取り出し易くないけれど蠢き出す」ということは成り立たないとしたら利用し易くない fact12: 「この脚弱症は陳腐化するし加えて混同し易い」ということは成り立たない fact13: 「「陳腐化するし混同し易い」ということは成り立たない」物はある fact14: 仮に「「陳腐化しないけど混同し易い」ということは事実でない」ものがあるとするとそのサウザンドは駆け付ける fact15: 「陳腐化する」ものがあるならそのサウザンドは駆け付ける fact16: 「そのサブトラクション像は手酷い」ということは事実だ fact17: もし仮に「この脚弱症は責め立てない」ということは成り立つならその四十七都道府県庁所在都市は手酷いか駆け付けるかまたは両方ともである fact18: 仮にそのサウザンドが責め立てるならばあの四十七都道府県庁所在都市は洋式トイレでない ; $hypothesis$ = その四十七都道府県庁所在都市は洋式トイレである ; $proof$ = 
void -> assump1: 以下のように仮定する。この脚弱症は陳腐化しないがしかしそれは混同し易い; fact1 & assump1 -> int1: 「この脚弱症は手酷いということはない」ということは成り立つ; fact16 & fact3 -> int2: この脚弱症は手酷い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この脚弱症は陳腐化しない一方で混同し易い」ということは誤っている; int4 -> int5: 「「陳腐化しなくて更に混同し易い」ということは成り立たない」ものはある; int5 & fact14 -> int6: そのサウザンドは駆け付ける; int6 -> int7: そのサウザンドは駆け付けるかまたは責め立てる; int7 & fact8 -> hypothesis; __DISPROVED__
事実1: この脚弱症が陳腐化しないけど混同し易いとすればそれは手酷くない
事実2: この脚弱症は陳腐化しない
事実3: 仮にそのサブトラクション像が手酷いとしたらこの脚弱症は手酷い
事実4: とあるものは陳腐化しないけど混同し易い
事実5: 「この脚弱症は取り出し易くないがそれは蠢き出す」ということは間違っている
事実6: もしも「「手酷くないけれど洋式トイレだ」ということは成り立たない」ものがあればその四十七都道府県庁所在都市は責め立てる
事実7: この農業問題は言い訳しないけれど洋式トイレだ
事実8: 仮にそのサウザンドが駆け付けるかそれが責め立てるとしたらその四十七都道府県庁所在都市は洋式トイレでない
事実9: この脚弱症が陳腐化するしそれが混同し易いならばそれは手酷いということはない
事実10: もしも利用し易くないものが重たいなら責め立てない
事実11: 仮に「この脚弱症は取り出し易くないけれど蠢き出す」ということは成り立たないとしたら利用し易くない
事実12: 「この脚弱症は陳腐化するし加えて混同し易い」ということは成り立たない
事実13: 「「陳腐化するし混同し易い」ということは成り立たない」物はある
事実14: 仮に「「陳腐化しないけど混同し易い」ということは事実でない」ものがあるとするとそのサウザンドは駆け付ける
事実15: 「陳腐化する」ものがあるならそのサウザンドは駆け付ける
事実16: 「そのサブトラクション像は手酷い」ということは事実だ
事実17: もし仮に「この脚弱症は責め立てない」ということは成り立つならその四十七都道府県庁所在都市は手酷いか駆け付けるかまたは両方ともである
事実18: 仮にそのサウザンドが責め立てるならばあの四十七都道府県庁所在都市は洋式トイレでない

仮説: その四十七都道府県庁所在都市は洋式トイレである
1. 仮定1: 以下のように仮定する。この脚弱症は陳腐化しないがしかしそれは混同し易い
2. 事実1と仮定1から、推論1: "「この脚弱症は手酷いということはない」ということは成り立つ"が導かれる
3. 事実16と事実3から、推論2: "この脚弱症は手酷い"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「この脚弱症は陳腐化しない一方で混同し易い」ということは誤っている"が導かれる
6. 推論4から、推論5: "「「陳腐化しなくて更に混同し易い」ということは成り立たない」ものはある"が導かれる
7. 推論5と事実14から、推論6: "そのサウザンドは駆け付ける"が導かれる
8. 推論6から、推論7: "そのサウザンドは駆け付けるかまたは責め立てる"が導かれる
9. 推論7と事実8から、仮説が否定される

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