「このムダン達は交わす」ということは成り立つ
fact1: 「なんらかのものは逆戻りしなくてシリコンチューブでない」ということは成り立つとするとそれは交わす fact2: あの花輪は確約であるけどへたり込まないとしたらシリコンチューブだ fact3: もしもあの花輪が確約だしへたり込むとするとそれはシリコンチューブである fact4: もし仮になんらかのものが松代領でないかそれは預け合わないなら「遠隔操作でない」ということは確かだ fact5: もしもこの御手伝いさんは与え難くないしかつ幼くないとすれば「その受給中は予備知識無しだということはない」ということは確かだ fact6: もしあの漢字変換は遠隔操作でないとすれば「あの花輪は逆戻りしなくておまけにシリコンチューブでない」ということは誤りだ fact7: 「このムダン達は遠隔操作でないし更に逆戻りしない」ということは成り立つとすればそれはへたり込む fact8: このウーパは逆戻りする fact9: 「あの花輪は確約であるけれどへたり込まない」ということは確かである fact10: このムダン達は遠隔操作であるということはない fact11: もし仮にあの花輪はシリコンチューブであるけど逆戻りしないならば遠隔操作だ fact12: もしとある物が予備知識無しでないならそれは家庭訪問するし妖怪だ fact13: あの花輪は逆戻りする fact14: 何らかのものは遠隔操作であるが逆戻りしないならば交わす fact15: 何らかのものは遠隔操作でないしその上逆戻りしないとすればそれは交わす fact16: もしもこのシステムネットワークが活性化だということはないとするとこの御手伝いさんは与え難くないししかもそれは幼くない fact17: あの花輪は逆戻りするけれどへたり込まない fact18: もし仮にこのムダン達が遠隔操作だがそれが逆戻りしないとすれば交わす fact19: もしもあの平方和が家庭訪問するとするとあの漢字変換は松代領であるということはないかまたは預け合うということはないか両方ともである fact20: 「あの花輪はへたり込まない」ということは本当だ fact21: もしもあの花輪はシリコンチューブだとすると「このムダン達は遠隔操作でない」ということは成り立つ fact22: 仮にあの花輪はシリコンチューブだとすると「このムダン達は遠隔操作でないしまた逆戻りするということはない」ということは嘘でない fact23: もしもこのムダン達が遠隔操作であるとすればあの花輪は確約であるということはなくて逆戻りしない fact24: もしもその受給中が家庭訪問するとすればあの平方和は家庭訪問する
fact2 & fact9 -> int1: あの花輪はシリコンチューブだ; int1 & fact22 -> int2: このムダン達は遠隔操作でなくてそれにそれは逆戻りしない; fact15 -> int3: 仮にこのムダン達が遠隔操作だということはないしおまけにそれが逆戻りしないとしたらそれは交わす; int2 & int3 -> hypothesis;
このムダン達は交わさない
fact28 -> int4: もしあの漢字変換が松代領でないかまたは預け合わないとしたら遠隔操作でない; fact25 -> int5: その受給中は予備知識無しでないならば家庭訪問するし更に妖怪である;
$facts$ = fact1: 「なんらかのものは逆戻りしなくてシリコンチューブでない」ということは成り立つとするとそれは交わす fact2: あの花輪は確約であるけどへたり込まないとしたらシリコンチューブだ fact3: もしもあの花輪が確約だしへたり込むとするとそれはシリコンチューブである fact4: もし仮になんらかのものが松代領でないかそれは預け合わないなら「遠隔操作でない」ということは確かだ fact5: もしもこの御手伝いさんは与え難くないしかつ幼くないとすれば「その受給中は予備知識無しだということはない」ということは確かだ fact6: もしあの漢字変換は遠隔操作でないとすれば「あの花輪は逆戻りしなくておまけにシリコンチューブでない」ということは誤りだ fact7: 「このムダン達は遠隔操作でないし更に逆戻りしない」ということは成り立つとすればそれはへたり込む fact8: このウーパは逆戻りする fact9: 「あの花輪は確約であるけれどへたり込まない」ということは確かである fact10: このムダン達は遠隔操作であるということはない fact11: もし仮にあの花輪はシリコンチューブであるけど逆戻りしないならば遠隔操作だ fact12: もしとある物が予備知識無しでないならそれは家庭訪問するし妖怪だ fact13: あの花輪は逆戻りする fact14: 何らかのものは遠隔操作であるが逆戻りしないならば交わす fact15: 何らかのものは遠隔操作でないしその上逆戻りしないとすればそれは交わす fact16: もしもこのシステムネットワークが活性化だということはないとするとこの御手伝いさんは与え難くないししかもそれは幼くない fact17: あの花輪は逆戻りするけれどへたり込まない fact18: もし仮にこのムダン達が遠隔操作だがそれが逆戻りしないとすれば交わす fact19: もしもあの平方和が家庭訪問するとするとあの漢字変換は松代領であるということはないかまたは預け合うということはないか両方ともである fact20: 「あの花輪はへたり込まない」ということは本当だ fact21: もしもあの花輪はシリコンチューブだとすると「このムダン達は遠隔操作でない」ということは成り立つ fact22: 仮にあの花輪はシリコンチューブだとすると「このムダン達は遠隔操作でないしまた逆戻りするということはない」ということは嘘でない fact23: もしもこのムダン達が遠隔操作であるとすればあの花輪は確約であるということはなくて逆戻りしない fact24: もしもその受給中が家庭訪問するとすればあの平方和は家庭訪問する ; $hypothesis$ = 「このムダン達は交わす」ということは成り立つ ; $proof$ = 
fact2 & fact9 -> int1: あの花輪はシリコンチューブだ; int1 & fact22 -> int2: このムダン達は遠隔操作でなくてそれにそれは逆戻りしない; fact15 -> int3: 仮にこのムダン達が遠隔操作だということはないしおまけにそれが逆戻りしないとしたらそれは交わす; int2 & int3 -> hypothesis; __PROVED__
事実1: 「なんらかのものは逆戻りしなくてシリコンチューブでない」ということは成り立つとするとそれは交わす
事実2: あの花輪は確約であるけどへたり込まないとしたらシリコンチューブだ
事実3: もしもあの花輪が確約だしへたり込むとするとそれはシリコンチューブである
事実4: もし仮になんらかのものが松代領でないかそれは預け合わないなら「遠隔操作でない」ということは確かだ
事実5: もしもこの御手伝いさんは与え難くないしかつ幼くないとすれば「その受給中は予備知識無しだということはない」ということは確かだ
事実6: もしあの漢字変換は遠隔操作でないとすれば「あの花輪は逆戻りしなくておまけにシリコンチューブでない」ということは誤りだ
事実7: 「このムダン達は遠隔操作でないし更に逆戻りしない」ということは成り立つとすればそれはへたり込む
事実8: このウーパは逆戻りする
事実9: 「あの花輪は確約であるけれどへたり込まない」ということは確かである
事実10: このムダン達は遠隔操作であるということはない
事実11: もし仮にあの花輪はシリコンチューブであるけど逆戻りしないならば遠隔操作だ
事実12: もしとある物が予備知識無しでないならそれは家庭訪問するし妖怪だ
事実13: あの花輪は逆戻りする
事実14: 何らかのものは遠隔操作であるが逆戻りしないならば交わす
事実15: 何らかのものは遠隔操作でないしその上逆戻りしないとすればそれは交わす
事実16: もしもこのシステムネットワークが活性化だということはないとするとこの御手伝いさんは与え難くないししかもそれは幼くない
事実17: あの花輪は逆戻りするけれどへたり込まない
事実18: もし仮にこのムダン達が遠隔操作だがそれが逆戻りしないとすれば交わす
事実19: もしもあの平方和が家庭訪問するとするとあの漢字変換は松代領であるということはないかまたは預け合うということはないか両方ともである
事実20: 「あの花輪はへたり込まない」ということは本当だ
事実21: もしもあの花輪はシリコンチューブだとすると「このムダン達は遠隔操作でない」ということは成り立つ
事実22: 仮にあの花輪はシリコンチューブだとすると「このムダン達は遠隔操作でないしまた逆戻りするということはない」ということは嘘でない
事実23: もしもこのムダン達が遠隔操作であるとすればあの花輪は確約であるということはなくて逆戻りしない
事実24: もしもその受給中が家庭訪問するとすればあの平方和は家庭訪問する

仮説: 「このムダン達は交わす」ということは成り立つ
1. 事実2と事実9から、推論1: "あの花輪はシリコンチューブだ"が導かれる
2. 推論1と事実22から、推論2: "このムダン達は遠隔操作でなくてそれにそれは逆戻りしない"が導かれる
3. 事実15から、推論3: "仮にこのムダン達が遠隔操作だということはないしおまけにそれが逆戻りしないとしたらそれは交わす"が導かれる
4. 推論2と推論3から、仮説が導かれる

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