「その救急蘇生は急増中でないけれど痛ーい」ということは嘘である
fact1: 仮にあのロシア人が痛ーいとするとその救急蘇生は急増中でない fact2: その救急蘇生が痛ーいとするとあのロシア人は急増中でないが痛ーい fact3: あの乗りちゃんは痛ーい fact4: 何らかのものは形成され易い fact5: 仮にあのロシア人が急増中ならばあの救急蘇生は痛ーくないがそれは急増中だ fact6: もし仮に「形成され易い」物があるならあのロシア人は痛ーい fact7: あのロシア人は急増中でない fact8: もしとあるものは形成され易くないならば「急増中でないがしかし痛ーい」ということは嘘だ fact9: 仮にその救急蘇生が急増中であるならあのロシア人は痛ーくないけれどそれは急増中である fact10: その救急蘇生は急増中であるということはない fact11: 「急増中である」ものはある fact12: もしもその初飛行が酸くないならばあのロシア人は読み出せるけれど激発するということはない fact13: 「この消防団は守り易い」ということは確かだ fact14: あのロシア人は成り下がる fact15: あのロシア人が痛ーいとすればその救急蘇生は急増中でないけれど痛ーい fact16: あのロシア人は奸であるということはないけれどそれは安得虎児である
fact4 & fact6 -> int1: あのロシア人は痛ーい; int1 & fact15 -> hypothesis;
「その救急蘇生は急増中でないがしかしそれは痛ーい」ということは事実と異なる
$facts$ = fact1: 仮にあのロシア人が痛ーいとするとその救急蘇生は急増中でない fact2: その救急蘇生が痛ーいとするとあのロシア人は急増中でないが痛ーい fact3: あの乗りちゃんは痛ーい fact4: 何らかのものは形成され易い fact5: 仮にあのロシア人が急増中ならばあの救急蘇生は痛ーくないがそれは急増中だ fact6: もし仮に「形成され易い」物があるならあのロシア人は痛ーい fact7: あのロシア人は急増中でない fact8: もしとあるものは形成され易くないならば「急増中でないがしかし痛ーい」ということは嘘だ fact9: 仮にその救急蘇生が急増中であるならあのロシア人は痛ーくないけれどそれは急増中である fact10: その救急蘇生は急増中であるということはない fact11: 「急増中である」ものはある fact12: もしもその初飛行が酸くないならばあのロシア人は読み出せるけれど激発するということはない fact13: 「この消防団は守り易い」ということは確かだ fact14: あのロシア人は成り下がる fact15: あのロシア人が痛ーいとすればその救急蘇生は急増中でないけれど痛ーい fact16: あのロシア人は奸であるということはないけれどそれは安得虎児である ; $hypothesis$ = 「その救急蘇生は急増中でないけれど痛ーい」ということは嘘である ; $proof$ = 
fact4 & fact6 -> int1: あのロシア人は痛ーい; int1 & fact15 -> hypothesis; __DISPROVED__
事実1: 仮にあのロシア人が痛ーいとするとその救急蘇生は急増中でない
事実2: その救急蘇生が痛ーいとするとあのロシア人は急増中でないが痛ーい
事実3: あの乗りちゃんは痛ーい
事実4: 何らかのものは形成され易い
事実5: 仮にあのロシア人が急増中ならばあの救急蘇生は痛ーくないがそれは急増中だ
事実6: もし仮に「形成され易い」物があるならあのロシア人は痛ーい
事実7: あのロシア人は急増中でない
事実8: もしとあるものは形成され易くないならば「急増中でないがしかし痛ーい」ということは嘘だ
事実9: 仮にその救急蘇生が急増中であるならあのロシア人は痛ーくないけれどそれは急増中である
事実10: その救急蘇生は急増中であるということはない
事実11: 「急増中である」ものはある
事実12: もしもその初飛行が酸くないならばあのロシア人は読み出せるけれど激発するということはない
事実13: 「この消防団は守り易い」ということは確かだ
事実14: あのロシア人は成り下がる
事実15: あのロシア人が痛ーいとすればその救急蘇生は急増中でないけれど痛ーい
事実16: あのロシア人は奸であるということはないけれどそれは安得虎児である

仮説: 「その救急蘇生は急増中でないけれど痛ーい」ということは嘘である
1. 事実4と事実6から、推論1: "あのロシア人は痛ーい"が導かれる
2. 推論1と事実15から、仮説が否定される

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