その外来通院はすっごくない
fact1: もし仮にこのマーボーは香ばしかないとしたら「あの名調子は学年毎であるし塩っ辛い」ということは間違いだ fact2: 仮に「とある物は香ばしい」ということは事実ならば「操縦しないしまたそれはＵＳＢ接続する」ということは確かだということはない fact3: 仮にこの大朝入社が香ばしいならあの名調子はＵＳＢ接続する fact4: あの名調子がかったるくないとすればそれはホルター心電図であるしそれは塩っ辛くない fact5: 「なにがしかのものは操縦しないがＵＳＢ接続する」ということは誤りだとしたらそれはすっごくない fact6: もし仮になんらかのものが塩っ辛くないならその外来通院はホルター心電図である fact7: もしもあの名調子は香ばしかないとしたら「このマーボーは操縦するしそれはＵＳＢ接続する」ということは成り立たない fact8: もしあの名調子が香ばしかないかまたはそれが塩っ辛くないならそれは香ばしかない fact9: このマーボーはＵＳＢ接続するし加えて操縦する fact10: もし仮にその外来通院はすっごくないなら「学年毎でなくてしかも塩っ辛い」ということは誤っている fact11: もしなにがしかのものが操縦するとしたらそれは香ばしかない fact12: 「このマーボーは操縦するがしかしそれは塩っ辛くない」ということは偽ならばその外来通院は塩っ辛い fact13: もし仮に「「学年毎でしかも塩っ辛い」ということは嘘である」ものがあるならその外来通院はホルター心電図だ fact14: もしある物はホルター心電図であるなら「すっごい」ということは成り立つ fact15: 何らかのものは学年毎でまたそれは塩っ辛い fact16: このマーボーが学年毎だがしかし香ばしかないとすればその外来通院は香ばしい fact17: もしもあの名調子が操縦しないとしたらこのマーボーはすっごくないかそれはＵＳＢ接続する fact18: あの名調子が塩っ辛いならＵＳＢ接続するということはない fact19: その家事活動はＵＳＢ接続するししかもクリエーターだ
fact9 -> int1: このマーボーは操縦する; fact11 -> int2: このマーボーが操縦するとしたら香ばしかない; int1 & int2 -> int3: このマーボーは香ばしいということはない; int3 & fact1 -> int4: 「あの名調子は学年毎であるしそれに塩っ辛い」ということは成り立つということはない; int4 -> int5: 「「学年毎であるしおまけに塩っ辛い」ということは誤りな」ものはある; int5 & fact13 -> int6: その外来通院はホルター心電図だ; fact14 -> int7: もしその外来通院はホルター心電図であるとするとそれはすっごい; int6 & int7 -> hypothesis;
その外来通院は塩っ辛い
$facts$ = fact1: もし仮にこのマーボーは香ばしかないとしたら「あの名調子は学年毎であるし塩っ辛い」ということは間違いだ fact2: 仮に「とある物は香ばしい」ということは事実ならば「操縦しないしまたそれはＵＳＢ接続する」ということは確かだということはない fact3: 仮にこの大朝入社が香ばしいならあの名調子はＵＳＢ接続する fact4: あの名調子がかったるくないとすればそれはホルター心電図であるしそれは塩っ辛くない fact5: 「なにがしかのものは操縦しないがＵＳＢ接続する」ということは誤りだとしたらそれはすっごくない fact6: もし仮になんらかのものが塩っ辛くないならその外来通院はホルター心電図である fact7: もしもあの名調子は香ばしかないとしたら「このマーボーは操縦するしそれはＵＳＢ接続する」ということは成り立たない fact8: もしあの名調子が香ばしかないかまたはそれが塩っ辛くないならそれは香ばしかない fact9: このマーボーはＵＳＢ接続するし加えて操縦する fact10: もし仮にその外来通院はすっごくないなら「学年毎でなくてしかも塩っ辛い」ということは誤っている fact11: もしなにがしかのものが操縦するとしたらそれは香ばしかない fact12: 「このマーボーは操縦するがしかしそれは塩っ辛くない」ということは偽ならばその外来通院は塩っ辛い fact13: もし仮に「「学年毎でしかも塩っ辛い」ということは嘘である」ものがあるならその外来通院はホルター心電図だ fact14: もしある物はホルター心電図であるなら「すっごい」ということは成り立つ fact15: 何らかのものは学年毎でまたそれは塩っ辛い fact16: このマーボーが学年毎だがしかし香ばしかないとすればその外来通院は香ばしい fact17: もしもあの名調子が操縦しないとしたらこのマーボーはすっごくないかそれはＵＳＢ接続する fact18: あの名調子が塩っ辛いならＵＳＢ接続するということはない fact19: その家事活動はＵＳＢ接続するししかもクリエーターだ ; $hypothesis$ = その外来通院はすっごくない ; $proof$ = 
fact9 -> int1: このマーボーは操縦する; fact11 -> int2: このマーボーが操縦するとしたら香ばしかない; int1 & int2 -> int3: このマーボーは香ばしいということはない; int3 & fact1 -> int4: 「あの名調子は学年毎であるしそれに塩っ辛い」ということは成り立つということはない; int4 -> int5: 「「学年毎であるしおまけに塩っ辛い」ということは誤りな」ものはある; int5 & fact13 -> int6: その外来通院はホルター心電図だ; fact14 -> int7: もしその外来通院はホルター心電図であるとするとそれはすっごい; int6 & int7 -> hypothesis; __DISPROVED__
事実1: もし仮にこのマーボーは香ばしかないとしたら「あの名調子は学年毎であるし塩っ辛い」ということは間違いだ
事実2: 仮に「とある物は香ばしい」ということは事実ならば「操縦しないしまたそれはＵＳＢ接続する」ということは確かだということはない
事実3: 仮にこの大朝入社が香ばしいならあの名調子はＵＳＢ接続する
事実4: あの名調子がかったるくないとすればそれはホルター心電図であるしそれは塩っ辛くない
事実5: 「なにがしかのものは操縦しないがＵＳＢ接続する」ということは誤りだとしたらそれはすっごくない
事実6: もし仮になんらかのものが塩っ辛くないならその外来通院はホルター心電図である
事実7: もしもあの名調子は香ばしかないとしたら「このマーボーは操縦するしそれはＵＳＢ接続する」ということは成り立たない
事実8: もしあの名調子が香ばしかないかまたはそれが塩っ辛くないならそれは香ばしかない
事実9: このマーボーはＵＳＢ接続するし加えて操縦する
事実10: もし仮にその外来通院はすっごくないなら「学年毎でなくてしかも塩っ辛い」ということは誤っている
事実11: もしなにがしかのものが操縦するとしたらそれは香ばしかない
事実12: 「このマーボーは操縦するがしかしそれは塩っ辛くない」ということは偽ならばその外来通院は塩っ辛い
事実13: もし仮に「「学年毎でしかも塩っ辛い」ということは嘘である」ものがあるならその外来通院はホルター心電図だ
事実14: もしある物はホルター心電図であるなら「すっごい」ということは成り立つ
事実15: 何らかのものは学年毎でまたそれは塩っ辛い
事実16: このマーボーが学年毎だがしかし香ばしかないとすればその外来通院は香ばしい
事実17: もしもあの名調子が操縦しないとしたらこのマーボーはすっごくないかそれはＵＳＢ接続する
事実18: あの名調子が塩っ辛いならＵＳＢ接続するということはない
事実19: その家事活動はＵＳＢ接続するししかもクリエーターだ

仮説: その外来通院はすっごくない
1. 事実9から、推論1: "このマーボーは操縦する"が導かれる
2. 事実11から、推論2: "このマーボーが操縦するとしたら香ばしかない"が導かれる
3. 推論1と推論2から、推論3: "このマーボーは香ばしいということはない"が導かれる
4. 推論3と事実1から、推論4: "「あの名調子は学年毎であるしそれに塩っ辛い」ということは成り立つということはない"が導かれる
5. 推論4から、推論5: "「「学年毎であるしおまけに塩っ辛い」ということは誤りな」ものはある"が導かれる
6. 推論5と事実13から、推論6: "その外来通院はホルター心電図だ"が導かれる
7. 事実14から、推論7: "もしその外来通院はホルター心電図であるとするとそれはすっごい"が導かれる
8. 推論6と推論7から、仮説が否定される

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