この下落幅は三世諸仏でない
fact1: もし仮になんらかのものが共同作業しないならば御強い fact2: この下落幅はＬＡＮ内部だ fact3: この義姉さんが激し過ぎるとするとその小脳は激し過ぎる fact4: 仮にこの荒れは共同作業するし激し過ぎるならそれは薄汚い fact5: 仮に「あの近未来はごろごろしなくてレンダリングしない」ということは確かでないならその読経はごろごろする fact6: もしとある物が激し過ぎるならそれは御強くなくて篩い入れない fact7: ちっこい物は激し過ぎる fact8: 「あの近未来はごろごろしなくてそれにレンダリングしない」ということは成り立たない fact9: もしその読経がＬＡＮ内部ならその小脳は警備隊だ fact10: もしも「この荒れは御強いかあるいは警備隊でないかもしくはどちらもである」ということは成り立たないならばその小脳はＬＡＮ内部でない fact11: もし仮になにかは御強いとすれば篩い入れるということはない fact12: この義姉さんは追っ付かない fact13: この荒れは共同作業するがそれは激し過ぎない fact14: この荒れは警備隊でないならばそれは篩い入れる fact15: この荒れが共同作業するがしかし激し過ぎないならば薄汚い fact16: 「この下落幅は警備隊でないけれどそれは御強い」ということは成り立たないならばそれは三世諸仏でない fact17: もしも「この義姉さんは追っ付かない」ということは本当であるならばそれは遠慮するしそれはちっこい fact18: もしもその読経が出勤出来るとしたら潜入だ fact19: もし仮に「その小脳はＬＡＮ内部でない」ということは正しいならこの下落幅はＬＡＮ内部である fact20: その読経は出勤出来る fact21: 仮になんらかのものが共同作業するということはないならＬＡＮ内部であるか薄汚い fact22: 仮にとあるものは警備隊でないならそれは篩い入れない fact23: この荒れは激し過ぎるということはない fact24: 仮にその読経が薄汚いとしたらその小脳は警備隊だ fact25: 「薄汚い物は篩い入れる」ということは成り立つ fact26: その小脳がＬＡＮ内部でないとすればこの下落幅は三世諸仏であるしＬＡＮ内部だ fact27: もしもとあるものは潜入であるしおまけにごろごろするとしたら共同作業しない
fact11 -> int1: この荒れは御強いなら「篩い入れない」ということは正しい; void -> assump1: 以下のように仮定する。この荒れは御強いかもしくは警備隊でないか両方だ; fact22 -> int2: この荒れは警備隊であるということはないとするとそれは篩い入れない; int1 & assump1 & int2 -> int3: この荒れは篩い入れるということはない; fact15 & fact13 -> int4: この荒れは薄汚い; fact25 -> int5: この荒れが薄汚いとすると篩い入れる; int4 & int5 -> int6: この荒れは篩い入れる; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「この荒れは御強いかもしくは警備隊でない」ということは嘘だ; int8 & fact10 -> int9: その小脳はＬＡＮ内部でない; int9 & fact26 -> int10: 「この下落幅は三世諸仏でかつＬＡＮ内部だ」ということは間違っていない; int10 -> hypothesis;
この下落幅は三世諸仏でない
fact32 -> int11: その小脳が激し過ぎればそれは御強くないしその上篩い入れない; fact39 -> int12: もし「この義姉さんはちっこい」ということは真実であるとすればそれは激し過ぎる; fact37 & fact34 -> int13: この義姉さんは遠慮するしそれにちっこい; int13 -> int14: この義姉さんはちっこい; int12 & int14 -> int15: この義姉さんは激し過ぎる; fact31 & int15 -> int16: その小脳は激し過ぎる; int11 & int16 -> int17: その小脳は御強いということはないしその上篩い入れない; int17 -> int18: その小脳は御強くない; fact28 -> int19: その読経が共同作業するということはないとするとＬＡＮ内部であるかもしくは薄汚い; fact35 -> int20: もしその読経が潜入でそれがごろごろするなら共同作業するということはない; fact30 & fact36 -> int21: その読経は潜入である; fact29 & fact40 -> int22: その読経はごろごろする; int21 & int22 -> int23: その読経は潜入であるしごろごろする; int20 & int23 -> int24: その読経は共同作業しない; int19 & int24 -> int25: その読経はＬＡＮ内部であるかもしくは薄汚い; int25 & fact33 & fact38 -> int26: その小脳は警備隊だ; int18 & int26 -> int27: その小脳は御強くない一方で警備隊である; int27 -> int28: 「御強くないが警備隊である」ものはある;
$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: 仮にその読経が薄汚いとしたらその小脳は警備隊だ fact25: 「薄汚い物は篩い入れる」ということは成り立つ fact26: その小脳がＬＡＮ内部でないとすればこの下落幅は三世諸仏であるしＬＡＮ内部だ fact27: もしもとあるものは潜入であるしおまけにごろごろするとしたら共同作業しない ; $hypothesis$ = この下落幅は三世諸仏でない ; $proof$ = 
fact11 -> int1: この荒れは御強いなら「篩い入れない」ということは正しい; void -> assump1: 以下のように仮定する。この荒れは御強いかもしくは警備隊でないか両方だ; fact22 -> int2: この荒れは警備隊であるということはないとするとそれは篩い入れない; int1 & assump1 & int2 -> int3: この荒れは篩い入れるということはない; fact15 & fact13 -> int4: この荒れは薄汚い; fact25 -> int5: この荒れが薄汚いとすると篩い入れる; int4 & int5 -> int6: この荒れは篩い入れる; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「この荒れは御強いかもしくは警備隊でない」ということは嘘だ; int8 & fact10 -> int9: その小脳はＬＡＮ内部でない; int9 & fact26 -> int10: 「この下落幅は三世諸仏でかつＬＡＮ内部だ」ということは間違っていない; int10 -> hypothesis; __DISPROVED__
事実1: もし仮になんらかのものが共同作業しないならば御強い
事実2: この下落幅はＬＡＮ内部だ
事実3: この義姉さんが激し過ぎるとするとその小脳は激し過ぎる
事実4: 仮にこの荒れは共同作業するし激し過ぎるならそれは薄汚い
事実5: 仮に「あの近未来はごろごろしなくてレンダリングしない」ということは確かでないならその読経はごろごろする
事実6: もしとある物が激し過ぎるならそれは御強くなくて篩い入れない
事実7: ちっこい物は激し過ぎる
事実8: 「あの近未来はごろごろしなくてそれにレンダリングしない」ということは成り立たない
事実9: もしその読経がＬＡＮ内部ならその小脳は警備隊だ
事実10: もしも「この荒れは御強いかあるいは警備隊でないかもしくはどちらもである」ということは成り立たないならばその小脳はＬＡＮ内部でない
事実11: もし仮になにかは御強いとすれば篩い入れるということはない
事実12: この義姉さんは追っ付かない
事実13: この荒れは共同作業するがそれは激し過ぎない
事実14: この荒れは警備隊でないならばそれは篩い入れる
事実15: この荒れが共同作業するがしかし激し過ぎないならば薄汚い
事実16: 「この下落幅は警備隊でないけれどそれは御強い」ということは成り立たないならばそれは三世諸仏でない
事実17: もしも「この義姉さんは追っ付かない」ということは本当であるならばそれは遠慮するしそれはちっこい
事実18: もしもその読経が出勤出来るとしたら潜入だ
事実19: もし仮に「その小脳はＬＡＮ内部でない」ということは正しいならこの下落幅はＬＡＮ内部である
事実20: その読経は出勤出来る
事実21: 仮になんらかのものが共同作業するということはないならＬＡＮ内部であるか薄汚い
事実22: 仮にとあるものは警備隊でないならそれは篩い入れない
事実23: この荒れは激し過ぎるということはない
事実24: 仮にその読経が薄汚いとしたらその小脳は警備隊だ
事実25: 「薄汚い物は篩い入れる」ということは成り立つ
事実26: その小脳がＬＡＮ内部でないとすればこの下落幅は三世諸仏であるしＬＡＮ内部だ
事実27: もしもとあるものは潜入であるしおまけにごろごろするとしたら共同作業しない

仮説: この下落幅は三世諸仏でない
1. 事実11から、推論1: "この荒れは御強いなら「篩い入れない」ということは正しい"が導かれる
2. 仮定1: 以下のように仮定する。この荒れは御強いかもしくは警備隊でないか両方だ
3. 事実22から、推論2: "この荒れは警備隊であるということはないとするとそれは篩い入れない"が導かれる
4. 推論1と仮定1と推論2から、推論3: "この荒れは篩い入れるということはない"が導かれる
5. 事実15と事実13から、推論4: "この荒れは薄汚い"が導かれる
6. 事実25から、推論5: "この荒れが薄汚いとすると篩い入れる"が導かれる
7. 推論4と推論5から、推論6: "この荒れは篩い入れる"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "「この荒れは御強いかもしくは警備隊でない」ということは嘘だ"が導かれる
10. 推論8と事実10から、推論9: "その小脳はＬＡＮ内部でない"が導かれる
11. 推論9と事実26から、推論10: "「この下落幅は三世諸仏でかつＬＡＮ内部だ」ということは間違っていない"が導かれる
12. 推論10から、仮説が否定される

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