「この臨時応急は墳墓であるか闘牛場である」ということは確かでない
fact1: もし仮に「何らかの物は闘牛場だ」ということは本当であるならばそれは墳墓だ fact2: 仮にそのデザートイーグル．五零ＡＥが丸いし古めかしいならばあの通関業者は墳墓だということはない fact3: 「この往生要集は二次形式だ」ということは成り立つ fact4: その世間は幾種類でないけど生着する fact5: 言い辛くないものは盆棚である fact6: もしそのデザートイーグル．五零ＡＥが闘牛場だとすると墳墓でない fact7: この往生要集は言い辛くない fact8: 「あの通関業者は墳墓でない」ということは本当だとすればこの臨時応急は墳墓であるかもしくは闘牛場である fact9: この往生要集は盆棚である fact10: あの通関業者は養護であるかあるいはそれは墳墓であるかまたは両方ともだ fact11: そのデザートイーグル．五零ＡＥは古めかしい fact12: 仮にあの通関業者が墳墓でないとすれば丸いしおまけに言い辛い fact13: あの通関業者が丸くないとしたらそのデザートイーグル．五零ＡＥは言い辛くない fact14: 「「何かは飛行演技でないし更にそれは生着するということはない」ということは正しい」ということは誤っているとしたら古めかしい fact15: 仮になにかは古めかしくないならば「それは丸いということはないし言い辛い」ということは嘘だ fact16: そのデザートイーグル．五零ＡＥは言い辛くないとすれば「この臨時応急は墳墓であるかあるいは闘牛場である」ということは成り立たない fact17: あの通関業者は飛行演技でない fact18: 古めかしくない物が丸いなら言い辛くない fact19: この往生要集が言い辛くないとすればそれは盆棚である fact20: 墳墓は古めかしくない一方で丸い fact21: もしも「この往生要集は養護だ」ということは本当であるならそのデザートイーグル．五零ＡＥは丸い fact22: もしもあの通関業者が墳墓だしまた丸いとするとそのデザートイーグル．五零ＡＥは言い辛くない fact23: もし仮に「そのデザートイーグル．五零ＡＥは古めかしいかまたは丸くない」ということは偽であるとしたらこの臨時応急は盆棚だ fact24: 言い辛くないものは養護だしかつ盆棚だ
fact24 -> int1: 仮にこの往生要集が言い辛いということはないならば養護でおまけに盆棚だ; int1 & fact7 -> int2: この往生要集は養護であるしそれは盆棚である; int2 -> int3: この往生要集は養護である; int3 & fact21 -> int4: そのデザートイーグル．五零ＡＥは丸い; int4 & fact11 -> int5: そのデザートイーグル．五零ＡＥは丸いし更に古めかしい; int5 & fact2 -> int6: あの通関業者は墳墓でない; int6 & fact8 -> hypothesis;
「その野生系統は言い辛くない」ということは成り立つ
fact25 -> int7: 仮にその野生系統が古めかしくないけどそれが丸いとすれば言い辛くない; fact27 -> int8: もしその野生系統は墳墓であるならば「古めかしくないけど丸い」ということは正しい; fact26 -> int9: もし仮にその野生系統が闘牛場だとしたら墳墓だ;
$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$ = 
fact24 -> int1: 仮にこの往生要集が言い辛いということはないならば養護でおまけに盆棚だ; int1 & fact7 -> int2: この往生要集は養護であるしそれは盆棚である; int2 -> int3: この往生要集は養護である; int3 & fact21 -> int4: そのデザートイーグル．五零ＡＥは丸い; int4 & fact11 -> int5: そのデザートイーグル．五零ＡＥは丸いし更に古めかしい; int5 & fact2 -> int6: あの通関業者は墳墓でない; int6 & fact8 -> 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. 事実24から、推論1: "仮にこの往生要集が言い辛いということはないならば養護でおまけに盆棚だ"が導かれる
2. 推論1と事実7から、推論2: "この往生要集は養護であるしそれは盆棚である"が導かれる
3. 推論2から、推論3: "この往生要集は養護である"が導かれる
4. 推論3と事実21から、推論4: "そのデザートイーグル．五零ＡＥは丸い"が導かれる
5. 推論4と事実11から、推論5: "そのデザートイーグル．五零ＡＥは丸いし更に古めかしい"が導かれる
6. 推論5と事実2から、推論6: "あの通関業者は墳墓でない"が導かれる
7. 推論6と事実8から、仮説が否定される

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