「このサマリヤ人は十検体でない」ということは事実だ
fact1: もしもこのサマリヤ人は感作するとすれば「兄様だ」ということは成り立つ fact2: その採点は下手する fact3: 仮に「なにがしかのものは拝観料だ一方で客席数でない」ということは事実と異なるならアモバルビタール製剤でない fact4: 「もし「「天狗らしい」ものはある」ということは事実であるとすれば「あの町人貸しは拝観料だ一方で客席数でない」ということは間違っている」ということは誤りでない fact5: もし仮にあの町人貸しはアモバルビタール製剤でないとすれば「あのワクチン接種は台頭し始めないがしかしそれは下手する」ということは間違いだ fact6: もし何らかの物がアモバルビタール製剤であるかあるいは客席数だとすればこのサマリヤ人は十検体である fact7: その供述は下手しないとしたら「その採点は十検体であるしまたそれは甘噛みする」ということは間違いである fact8: とあるものは略奪だ fact9: もし仮に「客席数である」ものがあるならばあのサマリヤ人は十検体だ fact10: その採点は下手するしまたそれは甘噛みする fact11: あるものは甘噛みするなら「それは台頭し始める」ということは本当である fact12: もしなんらかのものは台頭し始めればアモバルビタール製剤だ fact13: もし仮に略奪があるとすればその四十八人は天狗らしい
fact10 -> int1: その採点は甘噛みする; fact11 -> int2: もしその採点が甘噛みするとしたら台頭し始める; int1 & int2 -> int3: その採点は台頭し始める; fact12 -> int4: その採点が台頭し始めるならアモバルビタール製剤である; int3 & int4 -> int5: その採点はアモバルビタール製剤である; int5 -> int6: その採点はアモバルビタール製剤であるかまたはそれは客席数である; int6 -> int7: 何らかの物はアモバルビタール製剤であるかもしくはそれは客席数であるかもしくは両方である; int7 & fact6 -> hypothesis;
「このサマリヤ人は十検体でない」ということは確かだ
fact16 -> int8: 仮に「あの町人貸しは拝観料であるけれどそれは客席数でない」ということは成り立たないならばアモバルビタール製剤であるということはない; fact17 & fact19 -> int9: その四十八人は天狗らしい; int9 -> int10: 天狗らしい物はある; int10 & fact15 -> int11: 「あの町人貸しは拝観料だ一方で客席数でない」ということは成り立たない; int8 & int11 -> int12: あの町人貸しはアモバルビタール製剤でない; fact14 & int12 -> int13: 「あのワクチン接種は台頭し始めないけど下手する」ということは間違っている; int13 -> int14: 「「台頭し始めないしかつ下手する」ということは嘘である」ものはある;
$facts$ = fact1: もしもこのサマリヤ人は感作するとすれば「兄様だ」ということは成り立つ fact2: その採点は下手する fact3: 仮に「なにがしかのものは拝観料だ一方で客席数でない」ということは事実と異なるならアモバルビタール製剤でない fact4: 「もし「「天狗らしい」ものはある」ということは事実であるとすれば「あの町人貸しは拝観料だ一方で客席数でない」ということは間違っている」ということは誤りでない fact5: もし仮にあの町人貸しはアモバルビタール製剤でないとすれば「あのワクチン接種は台頭し始めないがしかしそれは下手する」ということは間違いだ fact6: もし何らかの物がアモバルビタール製剤であるかあるいは客席数だとすればこのサマリヤ人は十検体である fact7: その供述は下手しないとしたら「その採点は十検体であるしまたそれは甘噛みする」ということは間違いである fact8: とあるものは略奪だ fact9: もし仮に「客席数である」ものがあるならばあのサマリヤ人は十検体だ fact10: その採点は下手するしまたそれは甘噛みする fact11: あるものは甘噛みするなら「それは台頭し始める」ということは本当である fact12: もしなんらかのものは台頭し始めればアモバルビタール製剤だ fact13: もし仮に略奪があるとすればその四十八人は天狗らしい ; $hypothesis$ = 「このサマリヤ人は十検体でない」ということは事実だ ; $proof$ = 
fact10 -> int1: その採点は甘噛みする; fact11 -> int2: もしその採点が甘噛みするとしたら台頭し始める; int1 & int2 -> int3: その採点は台頭し始める; fact12 -> int4: その採点が台頭し始めるならアモバルビタール製剤である; int3 & int4 -> int5: その採点はアモバルビタール製剤である; int5 -> int6: その採点はアモバルビタール製剤であるかまたはそれは客席数である; int6 -> int7: 何らかの物はアモバルビタール製剤であるかもしくはそれは客席数であるかもしくは両方である; int7 & fact6 -> hypothesis; __DISPROVED__
事実1: もしもこのサマリヤ人は感作するとすれば「兄様だ」ということは成り立つ
事実2: その採点は下手する
事実3: 仮に「なにがしかのものは拝観料だ一方で客席数でない」ということは事実と異なるならアモバルビタール製剤でない
事実4: 「もし「「天狗らしい」ものはある」ということは事実であるとすれば「あの町人貸しは拝観料だ一方で客席数でない」ということは間違っている」ということは誤りでない
事実5: もし仮にあの町人貸しはアモバルビタール製剤でないとすれば「あのワクチン接種は台頭し始めないがしかしそれは下手する」ということは間違いだ
事実6: もし何らかの物がアモバルビタール製剤であるかあるいは客席数だとすればこのサマリヤ人は十検体である
事実7: その供述は下手しないとしたら「その採点は十検体であるしまたそれは甘噛みする」ということは間違いである
事実8: とあるものは略奪だ
事実9: もし仮に「客席数である」ものがあるならばあのサマリヤ人は十検体だ
事実10: その採点は下手するしまたそれは甘噛みする
事実11: あるものは甘噛みするなら「それは台頭し始める」ということは本当である
事実12: もしなんらかのものは台頭し始めればアモバルビタール製剤だ
事実13: もし仮に略奪があるとすればその四十八人は天狗らしい

仮説: 「このサマリヤ人は十検体でない」ということは事実だ
1. 事実10から、推論1: "その採点は甘噛みする"が導かれる
2. 事実11から、推論2: "もしその採点が甘噛みするとしたら台頭し始める"が導かれる
3. 推論1と推論2から、推論3: "その採点は台頭し始める"が導かれる
4. 事実12から、推論4: "その採点が台頭し始めるならアモバルビタール製剤である"が導かれる
5. 推論3と推論4から、推論5: "その採点はアモバルビタール製剤である"が導かれる
6. 推論5から、推論6: "その採点はアモバルビタール製剤であるかまたはそれは客席数である"が導かれる
7. 推論6から、推論7: "何らかの物はアモバルビタール製剤であるかもしくはそれは客席数であるかもしくは両方である"が導かれる
8. 推論7と事実6から、仮説が否定される

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