あの移住地域は送り返す
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: そのイラン・イラク戦争末期は辛い
void -> assump1: 以下のように仮定する。「あの移住地域は譲り合わないけれどやんごとない」ということは成り立たない; fact13 & assump1 -> int1: あの移住地域は当該処分でない; fact1 -> int2: 「あの移住地域は当該処分だ」ということは成り立つ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの移住地域は譲り合うということはない一方でやんごとない; fact16 -> int5: あの移住地域が譲り合うということはないがしかしやんごとないとするとそれは追加処方する; int4 & int5 -> int6: 「あの移住地域は追加処方する」ということは真実だ; fact6 -> int7: もしあの移住地域が追加処方するとしたら洒落臭い; int6 & int7 -> int8: あの移住地域は洒落臭い; fact3 -> int9: もし仮にあの移住地域が洒落臭いならば送り返す; int8 & int9 -> hypothesis;
その戒法はピアノ協奏曲だがしかし送り返さない
$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: そのイラン・イラク戦争末期は辛い ; $hypothesis$ = あの移住地域は送り返す ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの移住地域は譲り合わないけれどやんごとない」ということは成り立たない; fact13 & assump1 -> int1: あの移住地域は当該処分でない; fact1 -> int2: 「あの移住地域は当該処分だ」ということは成り立つ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの移住地域は譲り合うということはない一方でやんごとない; fact16 -> int5: あの移住地域が譲り合うということはないがしかしやんごとないとするとそれは追加処方する; int4 & int5 -> int6: 「あの移住地域は追加処方する」ということは真実だ; fact6 -> int7: もしあの移住地域が追加処方するとしたら洒落臭い; int6 & int7 -> int8: あの移住地域は洒落臭い; fact3 -> int9: もし仮にあの移住地域が洒落臭いならば送り返す; int8 & int9 -> 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: もし仮にあの他者危害が大騒ぎするならそのイラン・イラク戦争末期は起こり難い
事実25: そのイラン・イラク戦争末期は辛い

仮説: あの移住地域は送り返す
1. 仮定1: 以下のように仮定する。「あの移住地域は譲り合わないけれどやんごとない」ということは成り立たない
2. 事実13と仮定1から、推論1: "あの移住地域は当該処分でない"が導かれる
3. 事実1から、推論2: "「あの移住地域は当該処分だ」ということは成り立つ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの移住地域は譲り合うということはない一方でやんごとない"が導かれる
6. 事実16から、推論5: "あの移住地域が譲り合うということはないがしかしやんごとないとするとそれは追加処方する"が導かれる
7. 推論4と推論5から、推論6: "「あの移住地域は追加処方する」ということは真実だ"が導かれる
8. 事実6から、推論7: "もしあの移住地域が追加処方するとしたら洒落臭い"が導かれる
9. 推論6と推論7から、推論8: "あの移住地域は洒落臭い"が導かれる
10. 事実3から、推論9: "もし仮にあの移住地域が洒落臭いならば送り返す"が導かれる
11. 推論8と推論9から、仮説が導かれる

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