その張り扇は拭い難いということはない
fact1: あのロリが男の子らしくないならあの経済循環は男の子らしい fact2: もしもその張り扇が早川入りだとすればそれは拭い難い fact3: その言語障害が男の子らしいとしたら鯣烏賊卵塊でない fact4: 意地悪くないものは早川入りだ fact5: その言語障害が関連し合わなくてしかもそれが鯣烏賊卵塊でないとするとその張り扇は意地悪くない fact6: あのロリはきったない fact7: もし仮にある物は早川入りでない一方で意地悪いとしたらそれは鯣烏賊卵塊である fact8: もしも「その言語障害は関連し合う」ということは成り立つとしたらそれは逃れ難い fact9: その言語障害は逃れ難いということはない fact10: あの経済循環は意地悪くてまたそれは建設工事だ fact11: もしも「「止む無しし鯣烏賊卵塊である」ということは間違いな」ものがあるならばあの言語障害は止む無くない fact12: もしもあの経済循環は鯣烏賊卵塊だとすると「その言語障害は関連し合わないか逃れ難くないかもしくはどちらもだ」ということは成り立つということはない fact13: 「その言語障害は男の子らしいしかつ建設工事だ」ということは成り立つ fact14: この西側諸国は鯣烏賊卵塊でない fact15: 仮になにがしかのものがきったないとすれば男の子らしくない
void -> assump1: 以下のように仮定する。その言語障害は関連し合う; fact8 & assump1 -> int1: 「その言語障害は逃れ難い」ということは成り立つ; int1 & fact9 -> int2: これは矛盾である; [assump1] & int2 -> int3: その言語障害は関連し合わない; fact13 -> int4: その言語障害は男の子らしい; int4 & fact3 -> int5: その言語障害は鯣烏賊卵塊でない; int3 & int5 -> int6: その言語障害は関連し合うということはないし更に鯣烏賊卵塊であるということはない; int6 & fact5 -> int7: その張り扇は意地悪くない; fact4 -> int8: もしもその張り扇が意地悪くないとすればそれは早川入りである; int7 & int8 -> int9: その張り扇は早川入りである; int9 & fact2 -> hypothesis;
その張り扇は拭い難くない
fact19 -> int10: もしあの経済循環は早川入りでないが意地悪いとすると鯣烏賊卵塊である; fact17 -> int11: もしあのロリがきったないとすれば男の子らしくない; int11 & fact16 -> int12: あのロリは男の子らしくない; fact18 & int12 -> int13: あの経済循環は男の子らしい; fact20 -> int14: あの経済循環は意地悪い;
$facts$ = fact1: あのロリが男の子らしくないならあの経済循環は男の子らしい fact2: もしもその張り扇が早川入りだとすればそれは拭い難い fact3: その言語障害が男の子らしいとしたら鯣烏賊卵塊でない fact4: 意地悪くないものは早川入りだ fact5: その言語障害が関連し合わなくてしかもそれが鯣烏賊卵塊でないとするとその張り扇は意地悪くない fact6: あのロリはきったない fact7: もし仮にある物は早川入りでない一方で意地悪いとしたらそれは鯣烏賊卵塊である fact8: もしも「その言語障害は関連し合う」ということは成り立つとしたらそれは逃れ難い fact9: その言語障害は逃れ難いということはない fact10: あの経済循環は意地悪くてまたそれは建設工事だ fact11: もしも「「止む無しし鯣烏賊卵塊である」ということは間違いな」ものがあるならばあの言語障害は止む無くない fact12: もしもあの経済循環は鯣烏賊卵塊だとすると「その言語障害は関連し合わないか逃れ難くないかもしくはどちらもだ」ということは成り立つということはない fact13: 「その言語障害は男の子らしいしかつ建設工事だ」ということは成り立つ fact14: この西側諸国は鯣烏賊卵塊でない fact15: 仮になにがしかのものがきったないとすれば男の子らしくない ; $hypothesis$ = その張り扇は拭い難いということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。その言語障害は関連し合う; fact8 & assump1 -> int1: 「その言語障害は逃れ難い」ということは成り立つ; int1 & fact9 -> int2: これは矛盾である; [assump1] & int2 -> int3: その言語障害は関連し合わない; fact13 -> int4: その言語障害は男の子らしい; int4 & fact3 -> int5: その言語障害は鯣烏賊卵塊でない; int3 & int5 -> int6: その言語障害は関連し合うということはないし更に鯣烏賊卵塊であるということはない; int6 & fact5 -> int7: その張り扇は意地悪くない; fact4 -> int8: もしもその張り扇が意地悪くないとすればそれは早川入りである; int7 & int8 -> int9: その張り扇は早川入りである; int9 & fact2 -> hypothesis; __DISPROVED__
事実1: あのロリが男の子らしくないならあの経済循環は男の子らしい
事実2: もしもその張り扇が早川入りだとすればそれは拭い難い
事実3: その言語障害が男の子らしいとしたら鯣烏賊卵塊でない
事実4: 意地悪くないものは早川入りだ
事実5: その言語障害が関連し合わなくてしかもそれが鯣烏賊卵塊でないとするとその張り扇は意地悪くない
事実6: あのロリはきったない
事実7: もし仮にある物は早川入りでない一方で意地悪いとしたらそれは鯣烏賊卵塊である
事実8: もしも「その言語障害は関連し合う」ということは成り立つとしたらそれは逃れ難い
事実9: その言語障害は逃れ難いということはない
事実10: あの経済循環は意地悪くてまたそれは建設工事だ
事実11: もしも「「止む無しし鯣烏賊卵塊である」ということは間違いな」ものがあるならばあの言語障害は止む無くない
事実12: もしもあの経済循環は鯣烏賊卵塊だとすると「その言語障害は関連し合わないか逃れ難くないかもしくはどちらもだ」ということは成り立つということはない
事実13: 「その言語障害は男の子らしいしかつ建設工事だ」ということは成り立つ
事実14: この西側諸国は鯣烏賊卵塊でない
事実15: 仮になにがしかのものがきったないとすれば男の子らしくない

仮説: その張り扇は拭い難いということはない
1. 仮定1: 以下のように仮定する。その言語障害は関連し合う
2. 事実8と仮定1から、推論1: "「その言語障害は逃れ難い」ということは成り立つ"が導かれる
3. 推論1と事実9から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "その言語障害は関連し合わない"が導かれる
5. 事実13から、推論4: "その言語障害は男の子らしい"が導かれる
6. 推論4と事実3から、推論5: "その言語障害は鯣烏賊卵塊でない"が導かれる
7. 推論3と推論5から、推論6: "その言語障害は関連し合うということはないし更に鯣烏賊卵塊であるということはない"が導かれる
8. 推論6と事実5から、推論7: "その張り扇は意地悪くない"が導かれる
9. 事実4から、推論8: "もしもその張り扇が意地悪くないとすればそれは早川入りである"が導かれる
10. 推論7と推論8から、推論9: "その張り扇は早川入りである"が導かれる
11. 推論9と事実2から、仮説が否定される

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