あの紋切り型は穏和だ
fact1: その第二十一項はオランジュリー美術館でない fact2: もし仮にあの紋切り型がオランジュリー美術館だとすればそれはスムージングする fact3: あの紋切り型は加水分解する fact4: 仮に「その男性側はドラッグする一方で読み取り出来ない」ということは事実でないとするとこの国際捕鯨委員会は読み取り出来ない fact5: あの紋切り型は建国するしその上オランジュリー美術館である fact6: もし仮にその第二十一項は大好物でないなら「あの紋切り型は大好物でかつ穏和である」ということは誤りである fact7: この国際捕鯨委員会は穏和だ fact8: あの賦課方式は構成出来ない fact9: もし仮に「その第二十一項はスムージングしない」ということは成り立つならばあの権帥は建国するけどオランジュリー美術館でない fact10: 「あの関八州は構成出来る」ということは嘘でない fact11: 「この国際捕鯨委員会は構成出来る」ということは嘘でない fact12: 仮にこの権帥が建国しないとしたらあの紋切り型は穏和である fact13: その小胞はレポートするということはない fact14: もしも「その第二十一項はレポートするし大好物だ」ということは成り立たないとすると「この国際捕鯨委員会は構成出来ない」ということは成り立つ fact15: この国際捕鯨委員会はレポートする fact16: 「仮にこの国際捕鯨委員会が読み取り出来ないとしたらその第二十一項は大好物で腰掛ける」ということは真実である fact17: 大好物は構成出来る fact18: 仮に「何かはオランジュリー美術館であるしレポートする」ということは間違いならばそれはオランジュリー美術館でない fact19: この権帥はレポートしないならば「その第二十一項はレポートするし更に大好物である」ということは偽だ fact20: 仮にあるものはコントロール権であるということはないとしたら「ドラッグするがしかし読み取り出来ない」ということは間違いである fact21: もし仮にあるものは約するし更にバックアップアプリケーションなら「それはコントロール権でない」ということは成り立つ fact22: 仮にあの紋切り型がスムージングするし穏和であるとすると「この権帥はレポートしない」ということは成り立つ fact23: この権帥は表現し得る fact24: すべては約するししかもバックアップアプリケーションである
fact5 -> int1: あの紋切り型はオランジュリー美術館だ; int1 & fact2 -> int2: あの紋切り型はスムージングする; void -> assump1: 以下のように仮定する。あの紋切り型は穏和だ; int2 & assump1 -> int3: あの紋切り型はスムージングするし穏和である; int3 & fact22 -> int4: この権帥はレポートするということはない; int4 & fact19 -> int5: 「その第二十一項はレポートするし加えて大好物だ」ということは成り立つということはない; int5 & fact14 -> int6: 「この国際捕鯨委員会は構成出来ない」ということは真実である; int6 & fact11 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
あの紋切り型は穏和だ
fact25 -> int8: 「この国際捕鯨委員会はオランジュリー美術館であるしさらにレポートする」ということは成り立たないとするとそれはオランジュリー美術館でない;
$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$ = 
fact5 -> int1: あの紋切り型はオランジュリー美術館だ; int1 & fact2 -> int2: あの紋切り型はスムージングする; void -> assump1: 以下のように仮定する。あの紋切り型は穏和だ; int2 & assump1 -> int3: あの紋切り型はスムージングするし穏和である; int3 & fact22 -> int4: この権帥はレポートするということはない; int4 & fact19 -> int5: 「その第二十一項はレポートするし加えて大好物だ」ということは成り立つということはない; int5 & fact14 -> int6: 「この国際捕鯨委員会は構成出来ない」ということは真実である; int6 & fact11 -> int7: これは矛盾である; [assump1] & int7 -> 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: すべては約するししかもバックアップアプリケーションである

仮説: あの紋切り型は穏和だ
1. 事実5から、推論1: "あの紋切り型はオランジュリー美術館だ"が導かれる
2. 推論1と事実2から、推論2: "あの紋切り型はスムージングする"が導かれる
3. 仮定1: 以下のように仮定する。あの紋切り型は穏和だ
4. 推論2と仮定1から、推論3: "あの紋切り型はスムージングするし穏和である"が導かれる
5. 推論3と事実22から、推論4: "この権帥はレポートするということはない"が導かれる
6. 推論4と事実19から、推論5: "「その第二十一項はレポートするし加えて大好物だ」ということは成り立つということはない"が導かれる
7. 推論5と事実14から、推論6: "「この国際捕鯨委員会は構成出来ない」ということは真実である"が導かれる
8. 推論6と事実11から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が否定される

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