「あの仏達は法典でないかあるいはそれは大欅でないか両方である」ということは成り立たない
fact1: もしも「あのおならは生まれ難くない一方でそれは舌舐りする」ということは成り立たないならこの地方分権は収穫逓増である fact2: 仮にこの地方分権が大欅であるとしたらあの仏達は呪い殺すということはない fact3: この地方分権は大欅なら「淡いということはないが収穫逓増だ」ということは偽である fact4: その石円圏は大欅だ fact5: あの仏達は疾走しないが疼き始める fact6: 仮になにがしかの物は甘言でないとしたら呪い殺さないが大欅である fact7: もしあのおならは淡いとすると「それは生まれ難くないしおまけに舌舐りする」ということは間違いである fact8: もしこの地方分権が呪い殺せばあの仏達は法典でない fact9: もしあの仏達が疾走しないとするとこの地方分権は甘言だということはない fact10: あのおならは収穫逓増であるかまたは舌舐りする fact11: もしこの地方分権が舌舐りするかまたは大欅であるかまたは両方であるならばあのおならは呪い殺すということはない fact12: もしもこの地方分権が呪い殺すかそれが収穫逓増であるならあの仏達は法典でない fact13: もしもなにがしかの物は呪い殺さないなら「法典であるしまた収穫逓増だ」ということは間違いだ fact14: もし仮に「この地方分権は法典だしさらに収穫逓増だ」ということは嘘であるなら「あのおならは収穫逓増でない」ということは確かだ fact15: あの仏達は法典でないかそれは大欅であるか両方ともだ fact16: あのおならは淡い
fact7 & fact16 -> int1: 「あのおならは生まれ難いということはないがしかしそれは舌舐りする」ということは誤りだ; int1 & fact1 -> int2: この地方分権は収穫逓増だ; int2 -> int3: この地方分権は呪い殺すかもしくは収穫逓増であるかもしくはどちらもだ; int3 & fact12 -> int4: あの仏達は法典でない; int4 -> hypothesis;
この一．一は淡いかあるいはそれは程無い
fact17 -> int5: もしこの地方分権は呪い殺さないならば「法典であるし加えて収穫逓増だ」ということは成り立たない; fact19 -> int6: この地方分権は甘言でないとしたら呪い殺さないけど大欅である; fact18 -> int7: あの仏達は疾走しない; fact20 & int7 -> int8: この地方分権は甘言でない; int6 & int8 -> int9: この地方分権は呪い殺さない一方で大欅である; int9 -> int10: この地方分権は呪い殺すということはない; int5 & int10 -> int11: 「この地方分権が法典だしそれは収穫逓増だ」ということは成り立たない; fact21 & int11 -> int12: あのおならは収穫逓増でない; int12 -> int13: 何らかのものは収穫逓増でない;
$facts$ = fact1: もしも「あのおならは生まれ難くない一方でそれは舌舐りする」ということは成り立たないならこの地方分権は収穫逓増である fact2: 仮にこの地方分権が大欅であるとしたらあの仏達は呪い殺すということはない fact3: この地方分権は大欅なら「淡いということはないが収穫逓増だ」ということは偽である fact4: その石円圏は大欅だ fact5: あの仏達は疾走しないが疼き始める fact6: 仮になにがしかの物は甘言でないとしたら呪い殺さないが大欅である fact7: もしあのおならは淡いとすると「それは生まれ難くないしおまけに舌舐りする」ということは間違いである fact8: もしこの地方分権が呪い殺せばあの仏達は法典でない fact9: もしあの仏達が疾走しないとするとこの地方分権は甘言だということはない fact10: あのおならは収穫逓増であるかまたは舌舐りする fact11: もしこの地方分権が舌舐りするかまたは大欅であるかまたは両方であるならばあのおならは呪い殺すということはない fact12: もしもこの地方分権が呪い殺すかそれが収穫逓増であるならあの仏達は法典でない fact13: もしもなにがしかの物は呪い殺さないなら「法典であるしまた収穫逓増だ」ということは間違いだ fact14: もし仮に「この地方分権は法典だしさらに収穫逓増だ」ということは嘘であるなら「あのおならは収穫逓増でない」ということは確かだ fact15: あの仏達は法典でないかそれは大欅であるか両方ともだ fact16: あのおならは淡い ; $hypothesis$ = 「あの仏達は法典でないかあるいはそれは大欅でないか両方である」ということは成り立たない ; $proof$ = 
fact7 & fact16 -> int1: 「あのおならは生まれ難いということはないがしかしそれは舌舐りする」ということは誤りだ; int1 & fact1 -> int2: この地方分権は収穫逓増だ; int2 -> int3: この地方分権は呪い殺すかもしくは収穫逓増であるかもしくはどちらもだ; int3 & fact12 -> int4: あの仏達は法典でない; int4 -> hypothesis; __DISPROVED__
事実1: もしも「あのおならは生まれ難くない一方でそれは舌舐りする」ということは成り立たないならこの地方分権は収穫逓増である
事実2: 仮にこの地方分権が大欅であるとしたらあの仏達は呪い殺すということはない
事実3: この地方分権は大欅なら「淡いということはないが収穫逓増だ」ということは偽である
事実4: その石円圏は大欅だ
事実5: あの仏達は疾走しないが疼き始める
事実6: 仮になにがしかの物は甘言でないとしたら呪い殺さないが大欅である
事実7: もしあのおならは淡いとすると「それは生まれ難くないしおまけに舌舐りする」ということは間違いである
事実8: もしこの地方分権が呪い殺せばあの仏達は法典でない
事実9: もしあの仏達が疾走しないとするとこの地方分権は甘言だということはない
事実10: あのおならは収穫逓増であるかまたは舌舐りする
事実11: もしこの地方分権が舌舐りするかまたは大欅であるかまたは両方であるならばあのおならは呪い殺すということはない
事実12: もしもこの地方分権が呪い殺すかそれが収穫逓増であるならあの仏達は法典でない
事実13: もしもなにがしかの物は呪い殺さないなら「法典であるしまた収穫逓増だ」ということは間違いだ
事実14: もし仮に「この地方分権は法典だしさらに収穫逓増だ」ということは嘘であるなら「あのおならは収穫逓増でない」ということは確かだ
事実15: あの仏達は法典でないかそれは大欅であるか両方ともだ
事実16: あのおならは淡い

仮説: 「あの仏達は法典でないかあるいはそれは大欅でないか両方である」ということは成り立たない
1. 事実7と事実16から、推論1: "「あのおならは生まれ難いということはないがしかしそれは舌舐りする」ということは誤りだ"が導かれる
2. 推論1と事実1から、推論2: "この地方分権は収穫逓増だ"が導かれる
3. 推論2から、推論3: "この地方分権は呪い殺すかもしくは収穫逓増であるかもしくはどちらもだ"が導かれる
4. 推論3と事実12から、推論4: "あの仏達は法典でない"が導かれる
5. 推論4から、仮説が否定される

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