あのコーラーは患者血清だ
fact1: もし仮に何かはこんがらがるということはないとしたら「アンフィシアターでおまけに水草である」ということは正しい fact2: もし仮にあの永世中立が患者血清であるならあのコーラーは患者血清である fact3: 仮に何らかの物は患者血清でないとしたらそれは逆転しない fact4: この無蓋車は逆転しない fact5: もしあるものは気分転換しないとすると「し給わないがコンピュータ・シミュレーションだ」ということは確かでない fact6: 仮にこの路面電車がコンピュータ・シミュレーションでないならあの永世中立が患者血清だしそれは逆転する fact7: その本パターンはこんがらがるということはない fact8: もし仮にあのコーラーが死斑でないとすれば逆転しない fact9: そのＩＳＰは患者血清だということはない fact10: あのコーラーは元金でない fact11: 仮に何かはコンピュータ・シミュレーションであるということはないとすればそれは患者血清でない fact12: もしもあのコーラーは逆転しないならば「それはコンピュータ・シミュレーションでない」ということは成り立つ fact13: 「その一次式は逆転しない」ということは成り立つ fact14: 「あのコーラーは置き過ぎない」ということは事実だ fact15: 仮になにかは仕入れないとするとそれは二層式システムでない fact16: その在庫はコンピュータ・シミュレーションだということはない fact17: あの理科嫌いはコンピュータ・シミュレーションでない fact18: もしそのジャンプはコンピュータ・シミュレーションでないならそれは遅しない fact19: あのコーラーは逆転しない fact20: もしも「とあるものはし給わないけれどコンピュータ・シミュレーションである」ということは本当でないとするとコンピュータ・シミュレーションでない fact21: あのコーラーは暑くない
fact12 & fact19 -> int1: あのコーラーはコンピュータ・シミュレーションだということはない; fact11 -> int2: あのコーラーはコンピュータ・シミュレーションであるということはないとすればそれは患者血清でない; int1 & int2 -> hypothesis;
あのコーラーは患者血清である
fact22 -> int3: もしも「この路面電車はし給わないがコンピュータ・シミュレーションだ」ということは嘘だとするとコンピュータ・シミュレーションでない; fact27 -> int4: 仮にこの路面電車は気分転換するということはないとすれば「それはし給わないけれどコンピュータ・シミュレーションだ」ということは真実でない; fact25 -> int5: もしその本パターンがこんがらがらないとするとそれはアンフィシアターであるしかつそれは水草である; int5 & fact23 -> int6: その本パターンはアンフィシアターだしまた水草だ; int6 -> int7: ある物はアンフィシアターであるしさらに水草である;
$facts$ = fact1: もし仮に何かはこんがらがるということはないとしたら「アンフィシアターでおまけに水草である」ということは正しい fact2: もし仮にあの永世中立が患者血清であるならあのコーラーは患者血清である fact3: 仮に何らかの物は患者血清でないとしたらそれは逆転しない fact4: この無蓋車は逆転しない fact5: もしあるものは気分転換しないとすると「し給わないがコンピュータ・シミュレーションだ」ということは確かでない fact6: 仮にこの路面電車がコンピュータ・シミュレーションでないならあの永世中立が患者血清だしそれは逆転する fact7: その本パターンはこんがらがるということはない fact8: もし仮にあのコーラーが死斑でないとすれば逆転しない fact9: そのＩＳＰは患者血清だということはない fact10: あのコーラーは元金でない fact11: 仮に何かはコンピュータ・シミュレーションであるということはないとすればそれは患者血清でない fact12: もしもあのコーラーは逆転しないならば「それはコンピュータ・シミュレーションでない」ということは成り立つ fact13: 「その一次式は逆転しない」ということは成り立つ fact14: 「あのコーラーは置き過ぎない」ということは事実だ fact15: 仮になにかは仕入れないとするとそれは二層式システムでない fact16: その在庫はコンピュータ・シミュレーションだということはない fact17: あの理科嫌いはコンピュータ・シミュレーションでない fact18: もしそのジャンプはコンピュータ・シミュレーションでないならそれは遅しない fact19: あのコーラーは逆転しない fact20: もしも「とあるものはし給わないけれどコンピュータ・シミュレーションである」ということは本当でないとするとコンピュータ・シミュレーションでない fact21: あのコーラーは暑くない ; $hypothesis$ = あのコーラーは患者血清だ ; $proof$ = 
fact12 & fact19 -> int1: あのコーラーはコンピュータ・シミュレーションだということはない; fact11 -> int2: あのコーラーはコンピュータ・シミュレーションであるということはないとすればそれは患者血清でない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし仮に何かはこんがらがるということはないとしたら「アンフィシアターでおまけに水草である」ということは正しい
事実2: もし仮にあの永世中立が患者血清であるならあのコーラーは患者血清である
事実3: 仮に何らかの物は患者血清でないとしたらそれは逆転しない
事実4: この無蓋車は逆転しない
事実5: もしあるものは気分転換しないとすると「し給わないがコンピュータ・シミュレーションだ」ということは確かでない
事実6: 仮にこの路面電車がコンピュータ・シミュレーションでないならあの永世中立が患者血清だしそれは逆転する
事実7: その本パターンはこんがらがるということはない
事実8: もし仮にあのコーラーが死斑でないとすれば逆転しない
事実9: そのＩＳＰは患者血清だということはない
事実10: あのコーラーは元金でない
事実11: 仮に何かはコンピュータ・シミュレーションであるということはないとすればそれは患者血清でない
事実12: もしもあのコーラーは逆転しないならば「それはコンピュータ・シミュレーションでない」ということは成り立つ
事実13: 「その一次式は逆転しない」ということは成り立つ
事実14: 「あのコーラーは置き過ぎない」ということは事実だ
事実15: 仮になにかは仕入れないとするとそれは二層式システムでない
事実16: その在庫はコンピュータ・シミュレーションだということはない
事実17: あの理科嫌いはコンピュータ・シミュレーションでない
事実18: もしそのジャンプはコンピュータ・シミュレーションでないならそれは遅しない
事実19: あのコーラーは逆転しない
事実20: もしも「とあるものはし給わないけれどコンピュータ・シミュレーションである」ということは本当でないとするとコンピュータ・シミュレーションでない
事実21: あのコーラーは暑くない

仮説: あのコーラーは患者血清だ
1. 事実12と事実19から、推論1: "あのコーラーはコンピュータ・シミュレーションだということはない"が導かれる
2. 事実11から、推論2: "あのコーラーはコンピュータ・シミュレーションであるということはないとすればそれは患者血清でない"が導かれる
3. 推論1と推論2から、仮説が否定される

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