「仮にこのセルビア側が招きであるとしたらこの外科手術は残り難いということはない」ということは嘘だ
fact1: もしこのセルビア側ががならないとしたらそれは現われ易い fact2: 何らかのものは青臭い fact3: 仮にこのセルビア側は残り難いならば「この外科手術はがなる」ということは成り立つ fact4: このセルビア側が招きであるとしたらこの外科手術は残り難い fact5: 「残り難い」ものはある fact6: 「「あるものは反撃出来るしおまけに月日亭である」ということは確かだ」ということは成り立たないなら国策会社でない fact7: 「程無い」ものはある fact8: 「このセルビア側はがならない」ということは確かだ fact9: もし程無い招きがあるとするとこの外科手術は残り難くない fact10: 「その法律上はがならない」ということは正しい fact11: とある物は現われ易いしそれにがなる fact12: その自己破産は空中遊泳するし崩す fact13: この外科手術は程無い fact14: このセルビア側は現われ易い fact15: もし仮にこのセルビア側ががならないならそれは現われ易いししかも程無い fact16: この外科手術は残り難い fact17: もし仮に招きで程無いものがあるならこの外科手術は残り難い fact18: 「あの人工肛門造設患者はがならない」ということは確かだ fact19: もし仮にこの外科手術が現われ易いとするとこのセルビア側は残り難くない fact20: もしも招きが残り難くないならばそれはがなるということはない fact21: 仮になにがしかの物は国策会社でないならそれは招きだが残り難くない fact22: なにかは招きである
fact15 & fact8 -> int1: このセルビア側は現われ易いし程無い; int1 -> int2: このセルビア側は程無い; void -> assump1: 以下のように仮定する。このセルビア側は招きである; int2 & assump1 -> int3: このセルビア側は招きであるしその上それは程無い; int3 -> int4: 「「招きだしそれに程無い」ということは真実な」ものはある; int4 & fact9 -> int5: 「この外科手術は残り難くない」ということは確かだ; [assump1] & int5 -> hypothesis;
この外科手術はがならない
fact24 -> int6: この外科手術は招きだけれど残り難くないなら「がならない」ということは成り立つ; fact23 -> int7: もし仮にこの外科手術が国策会社でないならば招きで残り難いということはない; fact25 -> int8: 「この外科手術は反撃出来るしそれにそれは月日亭だ」ということは成り立たないならそれは国策会社でない;
$facts$ = fact1: もしこのセルビア側ががならないとしたらそれは現われ易い fact2: 何らかのものは青臭い fact3: 仮にこのセルビア側は残り難いならば「この外科手術はがなる」ということは成り立つ fact4: このセルビア側が招きであるとしたらこの外科手術は残り難い fact5: 「残り難い」ものはある fact6: 「「あるものは反撃出来るしおまけに月日亭である」ということは確かだ」ということは成り立たないなら国策会社でない fact7: 「程無い」ものはある fact8: 「このセルビア側はがならない」ということは確かだ fact9: もし程無い招きがあるとするとこの外科手術は残り難くない fact10: 「その法律上はがならない」ということは正しい fact11: とある物は現われ易いしそれにがなる fact12: その自己破産は空中遊泳するし崩す fact13: この外科手術は程無い fact14: このセルビア側は現われ易い fact15: もし仮にこのセルビア側ががならないならそれは現われ易いししかも程無い fact16: この外科手術は残り難い fact17: もし仮に招きで程無いものがあるならこの外科手術は残り難い fact18: 「あの人工肛門造設患者はがならない」ということは確かだ fact19: もし仮にこの外科手術が現われ易いとするとこのセルビア側は残り難くない fact20: もしも招きが残り難くないならばそれはがなるということはない fact21: 仮になにがしかの物は国策会社でないならそれは招きだが残り難くない fact22: なにかは招きである ; $hypothesis$ = 「仮にこのセルビア側が招きであるとしたらこの外科手術は残り難いということはない」ということは嘘だ ; $proof$ = 
fact15 & fact8 -> int1: このセルビア側は現われ易いし程無い; int1 -> int2: このセルビア側は程無い; void -> assump1: 以下のように仮定する。このセルビア側は招きである; int2 & assump1 -> int3: このセルビア側は招きであるしその上それは程無い; int3 -> int4: 「「招きだしそれに程無い」ということは真実な」ものはある; int4 & fact9 -> int5: 「この外科手術は残り難くない」ということは確かだ; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: もしこのセルビア側ががならないとしたらそれは現われ易い
事実2: 何らかのものは青臭い
事実3: 仮にこのセルビア側は残り難いならば「この外科手術はがなる」ということは成り立つ
事実4: このセルビア側が招きであるとしたらこの外科手術は残り難い
事実5: 「残り難い」ものはある
事実6: 「「あるものは反撃出来るしおまけに月日亭である」ということは確かだ」ということは成り立たないなら国策会社でない
事実7: 「程無い」ものはある
事実8: 「このセルビア側はがならない」ということは確かだ
事実9: もし程無い招きがあるとするとこの外科手術は残り難くない
事実10: 「その法律上はがならない」ということは正しい
事実11: とある物は現われ易いしそれにがなる
事実12: その自己破産は空中遊泳するし崩す
事実13: この外科手術は程無い
事実14: このセルビア側は現われ易い
事実15: もし仮にこのセルビア側ががならないならそれは現われ易いししかも程無い
事実16: この外科手術は残り難い
事実17: もし仮に招きで程無いものがあるならこの外科手術は残り難い
事実18: 「あの人工肛門造設患者はがならない」ということは確かだ
事実19: もし仮にこの外科手術が現われ易いとするとこのセルビア側は残り難くない
事実20: もしも招きが残り難くないならばそれはがなるということはない
事実21: 仮になにがしかの物は国策会社でないならそれは招きだが残り難くない
事実22: なにかは招きである

仮説: 「仮にこのセルビア側が招きであるとしたらこの外科手術は残り難いということはない」ということは嘘だ
1. 事実15と事実8から、推論1: "このセルビア側は現われ易いし程無い"が導かれる
2. 推論1から、推論2: "このセルビア側は程無い"が導かれる
3. 仮定1: 以下のように仮定する。このセルビア側は招きである
4. 推論2と仮定1から、推論3: "このセルビア側は招きであるしその上それは程無い"が導かれる
5. 推論3から、推論4: "「「招きだしそれに程無い」ということは真実な」ものはある"が導かれる
6. 推論4と事実9から、推論5: "「この外科手術は残り難くない」ということは確かだ"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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