「その真鯉は卒業祝賀会だということはないかゲル化しないかあるいは両方ともである」ということは成り立たない
fact1: もし「動かし難い」物はあるとすると「その真鯉は卒業祝賀会でないかあるいはゲル化するということはないかまたは両方だ」ということは間違いだ fact2: 「そのドリアンは懐紙だということはないかまたはそれはまだるっこしくないかまたはどちらもである」ということは偽だ fact3: 「望ましい」ものはある fact4: その火山弾はどうして良い fact5: 「反抗的人間な」ものはある fact6: あるものは弁証である fact7: 「その真鯉は渋くないかもしくはそれは活動し難いということはない」ということは誤りである fact8: 「ゲル化する」物はある fact9: その真鯉は活動し難い fact10: もし仮に「卒業祝賀会な」物があるとするとその真鯉はゲル化する fact11: 「その真鯉は温水でないかまたは債務的部分でない」ということは成り立たない fact12: 「その真鯉は抗日ゲリラである」ということは誤りでない fact13: 仮に「その真鯉は出難くないしそれは脱人格化でない」ということは成り立たないならばそれは動かし難くない fact14: 「その真鯉は乏しくないかもしくはそれは御許し頂くということはないかもしくは両方である」ということは間違いだ fact15: もしもなんらかのものが動かし難くないとしたら卒業祝賀会でないかゲル化しないか両方ともである fact16: 「その真鯉はなはらないかそれはゲル化しないか両方ともだ」ということは誤っている fact17: 「卒業祝賀会である」ものはある fact18: 「「動かし難い」ということは真実な」物はある
fact18 & fact1 -> hypothesis;
その真鯉は卒業祝賀会でないかあるいはゲル化しないかもしくはどちらもである
fact19 -> int1: もしもその真鯉が動かし難くないならば卒業祝賀会でないかまたはそれはゲル化しない;
$facts$ = fact1: もし「動かし難い」物はあるとすると「その真鯉は卒業祝賀会でないかあるいはゲル化するということはないかまたは両方だ」ということは間違いだ fact2: 「そのドリアンは懐紙だということはないかまたはそれはまだるっこしくないかまたはどちらもである」ということは偽だ fact3: 「望ましい」ものはある fact4: その火山弾はどうして良い fact5: 「反抗的人間な」ものはある fact6: あるものは弁証である fact7: 「その真鯉は渋くないかもしくはそれは活動し難いということはない」ということは誤りである fact8: 「ゲル化する」物はある fact9: その真鯉は活動し難い fact10: もし仮に「卒業祝賀会な」物があるとするとその真鯉はゲル化する fact11: 「その真鯉は温水でないかまたは債務的部分でない」ということは成り立たない fact12: 「その真鯉は抗日ゲリラである」ということは誤りでない fact13: 仮に「その真鯉は出難くないしそれは脱人格化でない」ということは成り立たないならばそれは動かし難くない fact14: 「その真鯉は乏しくないかもしくはそれは御許し頂くということはないかもしくは両方である」ということは間違いだ fact15: もしもなんらかのものが動かし難くないとしたら卒業祝賀会でないかゲル化しないか両方ともである fact16: 「その真鯉はなはらないかそれはゲル化しないか両方ともだ」ということは誤っている fact17: 「卒業祝賀会である」ものはある fact18: 「「動かし難い」ということは真実な」物はある ; $hypothesis$ = 「その真鯉は卒業祝賀会だということはないかゲル化しないかあるいは両方ともである」ということは成り立たない ; $proof$ = 
fact18 & fact1 -> hypothesis; __PROVED__
事実1: もし「動かし難い」物はあるとすると「その真鯉は卒業祝賀会でないかあるいはゲル化するということはないかまたは両方だ」ということは間違いだ
事実2: 「そのドリアンは懐紙だということはないかまたはそれはまだるっこしくないかまたはどちらもである」ということは偽だ
事実3: 「望ましい」ものはある
事実4: その火山弾はどうして良い
事実5: 「反抗的人間な」ものはある
事実6: あるものは弁証である
事実7: 「その真鯉は渋くないかもしくはそれは活動し難いということはない」ということは誤りである
事実8: 「ゲル化する」物はある
事実9: その真鯉は活動し難い
事実10: もし仮に「卒業祝賀会な」物があるとするとその真鯉はゲル化する
事実11: 「その真鯉は温水でないかまたは債務的部分でない」ということは成り立たない
事実12: 「その真鯉は抗日ゲリラである」ということは誤りでない
事実13: 仮に「その真鯉は出難くないしそれは脱人格化でない」ということは成り立たないならばそれは動かし難くない
事実14: 「その真鯉は乏しくないかもしくはそれは御許し頂くということはないかもしくは両方である」ということは間違いだ
事実15: もしもなんらかのものが動かし難くないとしたら卒業祝賀会でないかゲル化しないか両方ともである
事実16: 「その真鯉はなはらないかそれはゲル化しないか両方ともだ」ということは誤っている
事実17: 「卒業祝賀会である」ものはある
事実18: 「「動かし難い」ということは真実な」物はある

仮説: 「その真鯉は卒業祝賀会だということはないかゲル化しないかあるいは両方ともである」ということは成り立たない
1. 事実18と事実1から、仮説が導かれる

よって、仮説が証明されました。