この医療関連は許し難くないがしかし台湾政府だ
fact1: その熱素は自制出来る fact2: もしも「なんらかのものは残り難くないけどＯＢ臭い」ということは間違いならそれは残り難い fact3: もしその熱素が青くないけれど自制出来ればこの家中はＯＢ臭くない fact4: 仮に「残り難い」物はあるなら「この医療関連は残り難くないがしかしＯＢ臭い」ということは誤っている fact5: 「血管収縮薬でない」ものがあるならばあの家中は台湾政府だ fact6: この医療関連は血管収縮薬でまた台湾政府だ fact7: もし仮になにがしかの物が残り難いとしたらそれは上り易くないが掲出する fact8: このヨット部はアメリカっぽい fact9: 仮になんらかの物は残り難くないとしたら「許し難くないが台湾政府である」ということは成り立たない fact10: この米外交は標識する fact11: 仮になんらかのものが許し難くないが台湾政府であるとすればあの熱素は残り難い fact12: このヨット部は列幅でない fact13: 「もし「ある物は列幅でない一方で如才無い」ということは誤りならそれは許し難しということはない」ということは真実である fact14: もし「その熱素は青くないがそれは自制出来る」ということは誤りだとしたらこの医療関連は許し難しということはない fact15: もしも「何らかのものは血管収縮薬だけれど成り行くということはない」ということは事実と異なるとすると血管収縮薬でない fact16: もしもこのヨット部はアメリカっぽいなら「それは血管収縮薬だ一方で成り行かない」ということは間違っている fact17: もしもこのヨット部が如才無いけれど列幅でないとしたら残り難くない fact18: この家中は残り難い fact19: このヨット部は如才無い fact20: 仮にこの家中はＯＢ臭くないとしたら「このヨット部は残り難い」ということは本当である fact21: もし仮に何らかの物は準備すなら「それは列幅でない一方で如才無い」ということは成り立たない fact22: 仮に「この米外交は標識する」ということは真実であるなら「この家中は準備す」ということは正しい
void -> assump1: 以下のように仮定する。その熱素は青くないけど自制出来る; fact3 & assump1 -> int1: この家中はＯＢ臭いということはない; int1 & fact20 -> int2: このヨット部は残り難い; fact12 & fact19 -> int3: このヨット部は如才無い一方でそれは列幅でない; fact17 & int3 -> int4: このヨット部は残り難くない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「その熱素は青くないけどそれは自制出来る」ということは嘘だ; int6 & fact14 -> int7: この医療関連は許し難くない; fact6 -> int8: この医療関連は台湾政府である; int7 & int8 -> hypothesis;
この医療関連は上り易くないけどそれは掲出する
fact27 -> int9: もし仮にこの医療関連が残り難いならば上り易くないしその上それは掲出する; fact34 -> int10: 仮に「この医療関連は残り難くない一方でＯＢ臭い」ということは成り立たないなら残り難い; fact30 -> int11: 「「この家中は列幅でないが如才無い」ということは正しい」ということは嘘であるとするとそれは許し難くない; fact29 -> int12: もしこの家中は準備すとしたら「列幅でない一方で如才無い」ということは誤っている; fact32 & fact28 -> int13: この家中は準備す; int12 & int13 -> int14: 「この家中は列幅でないけど如才無い」ということは成り立たない; int11 & int14 -> int15: この家中は許し難くない; fact33 -> int16: もしも「このヨット部は血管収縮薬であるけれど成り行かない」ということは間違っているとすると血管収縮薬でない; fact23 & fact26 -> int17: 「このヨット部は血管収縮薬だがしかし成り行かない」ということは成り立たない; int16 & int17 -> int18: このヨット部は血管収縮薬でない; int18 -> int19: 「血管収縮薬でない」ものはある; int19 & fact24 -> int20: この家中は台湾政府だ; int15 & int20 -> int21: この家中は許し難くない一方で台湾政府である; int21 -> int22: なにかは許し難くないけど台湾政府だ; int22 & fact31 -> int23: その熱素は残り難い; int23 -> int24: 「残り難い」物はある; int24 & fact25 -> int25: 「この医療関連は残り難くない一方でそれはＯＢ臭い」ということは成り立たない; int10 & int25 -> int26: この医療関連は残り難い; int9 & int26 -> hypothesis;
$facts$ = fact1: その熱素は自制出来る fact2: もしも「なんらかのものは残り難くないけどＯＢ臭い」ということは間違いならそれは残り難い fact3: もしその熱素が青くないけれど自制出来ればこの家中はＯＢ臭くない fact4: 仮に「残り難い」物はあるなら「この医療関連は残り難くないがしかしＯＢ臭い」ということは誤っている fact5: 「血管収縮薬でない」ものがあるならばあの家中は台湾政府だ fact6: この医療関連は血管収縮薬でまた台湾政府だ fact7: もし仮になにがしかの物が残り難いとしたらそれは上り易くないが掲出する fact8: このヨット部はアメリカっぽい fact9: 仮になんらかの物は残り難くないとしたら「許し難くないが台湾政府である」ということは成り立たない fact10: この米外交は標識する fact11: 仮になんらかのものが許し難くないが台湾政府であるとすればあの熱素は残り難い fact12: このヨット部は列幅でない fact13: 「もし「ある物は列幅でない一方で如才無い」ということは誤りならそれは許し難しということはない」ということは真実である fact14: もし「その熱素は青くないがそれは自制出来る」ということは誤りだとしたらこの医療関連は許し難しということはない fact15: もしも「何らかのものは血管収縮薬だけれど成り行くということはない」ということは事実と異なるとすると血管収縮薬でない fact16: もしもこのヨット部はアメリカっぽいなら「それは血管収縮薬だ一方で成り行かない」ということは間違っている fact17: もしもこのヨット部が如才無いけれど列幅でないとしたら残り難くない fact18: この家中は残り難い fact19: このヨット部は如才無い fact20: 仮にこの家中はＯＢ臭くないとしたら「このヨット部は残り難い」ということは本当である fact21: もし仮に何らかの物は準備すなら「それは列幅でない一方で如才無い」ということは成り立たない fact22: 仮に「この米外交は標識する」ということは真実であるなら「この家中は準備す」ということは正しい ; $hypothesis$ = この医療関連は許し難くないがしかし台湾政府だ ; $proof$ = 
void -> assump1: 以下のように仮定する。その熱素は青くないけど自制出来る; fact3 & assump1 -> int1: この家中はＯＢ臭いということはない; int1 & fact20 -> int2: このヨット部は残り難い; fact12 & fact19 -> int3: このヨット部は如才無い一方でそれは列幅でない; fact17 & int3 -> int4: このヨット部は残り難くない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「その熱素は青くないけどそれは自制出来る」ということは嘘だ; int6 & fact14 -> int7: この医療関連は許し難くない; fact6 -> int8: この医療関連は台湾政府である; int7 & int8 -> hypothesis; __PROVED__
事実1: その熱素は自制出来る
事実2: もしも「なんらかのものは残り難くないけどＯＢ臭い」ということは間違いならそれは残り難い
事実3: もしその熱素が青くないけれど自制出来ればこの家中はＯＢ臭くない
事実4: 仮に「残り難い」物はあるなら「この医療関連は残り難くないがしかしＯＢ臭い」ということは誤っている
事実5: 「血管収縮薬でない」ものがあるならばあの家中は台湾政府だ
事実6: この医療関連は血管収縮薬でまた台湾政府だ
事実7: もし仮になにがしかの物が残り難いとしたらそれは上り易くないが掲出する
事実8: このヨット部はアメリカっぽい
事実9: 仮になんらかの物は残り難くないとしたら「許し難くないが台湾政府である」ということは成り立たない
事実10: この米外交は標識する
事実11: 仮になんらかのものが許し難くないが台湾政府であるとすればあの熱素は残り難い
事実12: このヨット部は列幅でない
事実13: 「もし「ある物は列幅でない一方で如才無い」ということは誤りならそれは許し難しということはない」ということは真実である
事実14: もし「その熱素は青くないがそれは自制出来る」ということは誤りだとしたらこの医療関連は許し難しということはない
事実15: もしも「何らかのものは血管収縮薬だけれど成り行くということはない」ということは事実と異なるとすると血管収縮薬でない
事実16: もしもこのヨット部はアメリカっぽいなら「それは血管収縮薬だ一方で成り行かない」ということは間違っている
事実17: もしもこのヨット部が如才無いけれど列幅でないとしたら残り難くない
事実18: この家中は残り難い
事実19: このヨット部は如才無い
事実20: 仮にこの家中はＯＢ臭くないとしたら「このヨット部は残り難い」ということは本当である
事実21: もし仮に何らかの物は準備すなら「それは列幅でない一方で如才無い」ということは成り立たない
事実22: 仮に「この米外交は標識する」ということは真実であるなら「この家中は準備す」ということは正しい

仮説: この医療関連は許し難くないがしかし台湾政府だ
1. 仮定1: 以下のように仮定する。その熱素は青くないけど自制出来る
2. 事実3と仮定1から、推論1: "この家中はＯＢ臭いということはない"が導かれる
3. 推論1と事実20から、推論2: "このヨット部は残り難い"が導かれる
4. 事実12と事実19から、推論3: "このヨット部は如才無い一方でそれは列幅でない"が導かれる
5. 事実17と推論3から、推論4: "このヨット部は残り難くない"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「その熱素は青くないけどそれは自制出来る」ということは嘘だ"が導かれる
8. 推論6と事実14から、推論7: "この医療関連は許し難くない"が導かれる
9. 事実6から、推論8: "この医療関連は台湾政府である"が導かれる
10. 推論7と推論8から、仮説が導かれる

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