このアブストラクトは表現する
fact1: もし仮にあの血清病が熱演するし更に聞き出すとするとこの被害者等は続け為さらない fact2: もし仮に「その王宮銀器博物館は発艦する」ということは成り立つとすればあの血清病は熱演する fact3: もしもあの血清病が聞き出さないならばこのアブストラクトは結合し易くない fact4: その五対一は来演する fact5: 仮にとあるものは発艦するとしたら「それは表現するが速断しない」ということは成り立たない fact6: その王宮銀器博物館は発艦するかあるいはそれは速断しないかまたは両方ともだ fact7: もしなにがしかの物は結合し易くないとしたらそれは表現しない fact8: この被害者等は来演する fact9: 「この被害者等は熱演する」ということは本当であるならばその王宮銀器博物館は発艦する fact10: もしも「その王宮銀器博物館は表現するけど速断しない」ということは成り立たないとしたら「このアブストラクトは表現する」ということは本当だ fact11: 仮にこの被害者等が来演するとしたら続け為さる fact12: もし仮にその王宮銀器博物館が速断しないとしたらあの血清病は熱演する
fact6 & fact2 & fact12 -> int1: あの血清病は熱演する; void -> assump1: 以下のように仮定する。あの血清病は聞き出す; int1 & assump1 -> int2: あの血清病は熱演するし聞き出す; int2 & fact1 -> int3: この被害者等は続け為さらない; fact11 & fact8 -> int4: この被害者等は続け為さる; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの血清病は聞き出さない; int6 & fact3 -> int7: 「このアブストラクトは結合し易くない」ということは間違いだということはない; fact7 -> int8: もしこのアブストラクトは結合し易くないならそれは表現するということはない; int7 & int8 -> hypothesis;
このアブストラクトは表現する
fact13 -> int9: 仮にその王宮銀器博物館は発艦するとすれば「表現するししかもそれは速断しない」ということは偽だ;
$facts$ = fact1: もし仮にあの血清病が熱演するし更に聞き出すとするとこの被害者等は続け為さらない fact2: もし仮に「その王宮銀器博物館は発艦する」ということは成り立つとすればあの血清病は熱演する fact3: もしもあの血清病が聞き出さないならばこのアブストラクトは結合し易くない fact4: その五対一は来演する fact5: 仮にとあるものは発艦するとしたら「それは表現するが速断しない」ということは成り立たない fact6: その王宮銀器博物館は発艦するかあるいはそれは速断しないかまたは両方ともだ fact7: もしなにがしかの物は結合し易くないとしたらそれは表現しない fact8: この被害者等は来演する fact9: 「この被害者等は熱演する」ということは本当であるならばその王宮銀器博物館は発艦する fact10: もしも「その王宮銀器博物館は表現するけど速断しない」ということは成り立たないとしたら「このアブストラクトは表現する」ということは本当だ fact11: 仮にこの被害者等が来演するとしたら続け為さる fact12: もし仮にその王宮銀器博物館が速断しないとしたらあの血清病は熱演する ; $hypothesis$ = このアブストラクトは表現する ; $proof$ = 
fact6 & fact2 & fact12 -> int1: あの血清病は熱演する; void -> assump1: 以下のように仮定する。あの血清病は聞き出す; int1 & assump1 -> int2: あの血清病は熱演するし聞き出す; int2 & fact1 -> int3: この被害者等は続け為さらない; fact11 & fact8 -> int4: この被害者等は続け為さる; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの血清病は聞き出さない; int6 & fact3 -> int7: 「このアブストラクトは結合し易くない」ということは間違いだということはない; fact7 -> int8: もしこのアブストラクトは結合し易くないならそれは表現するということはない; int7 & int8 -> hypothesis; __DISPROVED__
事実1: もし仮にあの血清病が熱演するし更に聞き出すとするとこの被害者等は続け為さらない
事実2: もし仮に「その王宮銀器博物館は発艦する」ということは成り立つとすればあの血清病は熱演する
事実3: もしもあの血清病が聞き出さないならばこのアブストラクトは結合し易くない
事実4: その五対一は来演する
事実5: 仮にとあるものは発艦するとしたら「それは表現するが速断しない」ということは成り立たない
事実6: その王宮銀器博物館は発艦するかあるいはそれは速断しないかまたは両方ともだ
事実7: もしなにがしかの物は結合し易くないとしたらそれは表現しない
事実8: この被害者等は来演する
事実9: 「この被害者等は熱演する」ということは本当であるならばその王宮銀器博物館は発艦する
事実10: もしも「その王宮銀器博物館は表現するけど速断しない」ということは成り立たないとしたら「このアブストラクトは表現する」ということは本当だ
事実11: 仮にこの被害者等が来演するとしたら続け為さる
事実12: もし仮にその王宮銀器博物館が速断しないとしたらあの血清病は熱演する

仮説: このアブストラクトは表現する
1. 事実6と事実2と事実12から、推論1: "あの血清病は熱演する"が導かれる
2. 仮定1: 以下のように仮定する。あの血清病は聞き出す
3. 推論1と仮定1から、推論2: "あの血清病は熱演するし聞き出す"が導かれる
4. 推論2と事実1から、推論3: "この被害者等は続け為さらない"が導かれる
5. 事実11と事実8から、推論4: "この被害者等は続け為さる"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あの血清病は聞き出さない"が導かれる
8. 推論6と事実3から、推論7: "「このアブストラクトは結合し易くない」ということは間違いだということはない"が導かれる
9. 事実7から、推論8: "もしこのアブストラクトは結合し易くないならそれは表現するということはない"が導かれる
10. 推論7と推論8から、仮説が否定される

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