そのグランドファーザーは確からしくない
fact1: もしもある物が捨て置くということはないかもしくはそれが認定すれば確からしくない fact2: この増設は社会的応答性でないかもしくは会話らしいかまたはどちらもである fact3: 「この別件逮捕勾留はデＳ‐ＧＬＮでないがしかしそれは固着する」ということは誤りであるとしたらその稼働状態はデＳ‐ＧＬＮである fact4: 「ある物は認定する」ということは本当だとしたら確からしいということはない fact5: もしなにがしかのものは門付けしないとすると「それは確からしいし練習後である」ということは成り立つ fact6: もしも何らかのものは第三層文化であるとすれば「胸苦しくなくて更にそれは民主化支援でない」ということは事実と異なる fact7: 何かはデＳ‐ＧＬＮだとしたら二等分する fact8: 練習後は確からしい fact9: 「そのグランドファーザーは高水準言語でないかもしくは先願であるかあるいは両方ともである」ということは事実だ fact10: 「あの技能講習修了証は認定しない」ということは誤りでない fact11: もしそのグランドファーザーが練習後でないとするとそれは捨て置かないかもしくは認定する fact12: 仮に「この電気通信が胸苦しいということはないしさらにそれは民主化支援でない」ということは嘘ならばその網状は民主化支援である fact13: 仮に何かはなぐり書きするということはなくて調査しないならば括りでない fact14: 何かは括りであるということはないならそれは門付けするしおまけに練習後だ fact15: 仮に「その稼働状態は二等分する」ということは正しいならそのグランドファーザーはなぐり書きしなくてまた調査しない fact16: もしもそのグランドファーザーが認定するとするとそれは確からしくない fact17: その植民地期が捨て置かないかもしくはデＳ‐ＧＬＮだとしたら短いということはない fact18: この電気通信は第三層文化である fact19: そのグランドファーザーは練習後でない
fact11 & fact19 -> int1: そのグランドファーザーは捨て置かないかあるいはそれは認定する; fact1 -> int2: 「もしもそのグランドファーザーが捨て置かないかあるいはそれが認定するか両方であるとすればそのグランドファーザーは確からしくない」ということは正しい; int1 & int2 -> hypothesis;
fact11 & fact19 -> int1: (¬{AA}{a} v {AB}{a}); fact1 -> int2: (¬{AA}{a} v {AB}{a}) -> ¬{B}{a}; int1 & int2 -> hypothesis;
そのグランドファーザーは確からしい
fact28 -> int3: もし仮にそのグランドファーザーが練習後ならそれは確からしい; fact23 -> int4: もし仮にそのグランドファーザーが括りでないとしたらそれは門付けするし更に練習後だ; fact24 -> int5: もしもそのグランドファーザーがなぐり書きしなくてそれに調査しないとするとそれは括りでない; fact20 -> int6: もしもその稼働状態がデＳ‐ＧＬＮだとするとそれは二等分する; fact26 -> int7: この電気通信は第三層文化ならば「それは胸苦しくなくて加えて民主化支援でない」ということは誤っている; int7 & fact22 -> int8: 「この電気通信は胸苦しくないし民主化支援でない」ということは成り立たない; fact25 & int8 -> int9: その網状は民主化支援だ; int9 -> int10: 「民主化支援である」ものはある;
$facts$ = fact1: もしもある物が捨て置くということはないかもしくはそれが認定すれば確からしくない fact2: この増設は社会的応答性でないかもしくは会話らしいかまたはどちらもである fact3: 「この別件逮捕勾留はデＳ‐ＧＬＮでないがしかしそれは固着する」ということは誤りであるとしたらその稼働状態はデＳ‐ＧＬＮである fact4: 「ある物は認定する」ということは本当だとしたら確からしいということはない fact5: もしなにがしかのものは門付けしないとすると「それは確からしいし練習後である」ということは成り立つ fact6: もしも何らかのものは第三層文化であるとすれば「胸苦しくなくて更にそれは民主化支援でない」ということは事実と異なる fact7: 何かはデＳ‐ＧＬＮだとしたら二等分する fact8: 練習後は確からしい fact9: 「そのグランドファーザーは高水準言語でないかもしくは先願であるかあるいは両方ともである」ということは事実だ fact10: 「あの技能講習修了証は認定しない」ということは誤りでない fact11: もしそのグランドファーザーが練習後でないとするとそれは捨て置かないかもしくは認定する fact12: 仮に「この電気通信が胸苦しいということはないしさらにそれは民主化支援でない」ということは嘘ならばその網状は民主化支援である fact13: 仮に何かはなぐり書きするということはなくて調査しないならば括りでない fact14: 何かは括りであるということはないならそれは門付けするしおまけに練習後だ fact15: 仮に「その稼働状態は二等分する」ということは正しいならそのグランドファーザーはなぐり書きしなくてまた調査しない fact16: もしもそのグランドファーザーが認定するとするとそれは確からしくない fact17: その植民地期が捨て置かないかもしくはデＳ‐ＧＬＮだとしたら短いということはない fact18: この電気通信は第三層文化である fact19: そのグランドファーザーは練習後でない ; $hypothesis$ = そのグランドファーザーは確からしくない ; $proof$ = 
fact11 & fact19 -> int1: そのグランドファーザーは捨て置かないかあるいはそれは認定する; fact1 -> int2: 「もしもそのグランドファーザーが捨て置かないかあるいはそれが認定するか両方であるとすればそのグランドファーザーは確からしくない」ということは正しい; int1 & int2 -> hypothesis; __PROVED__
事実1: もしもある物が捨て置くということはないかもしくはそれが認定すれば確からしくない
事実2: この増設は社会的応答性でないかもしくは会話らしいかまたはどちらもである
事実3: 「この別件逮捕勾留はデＳ‐ＧＬＮでないがしかしそれは固着する」ということは誤りであるとしたらその稼働状態はデＳ‐ＧＬＮである
事実4: 「ある物は認定する」ということは本当だとしたら確からしいということはない
事実5: もしなにがしかのものは門付けしないとすると「それは確からしいし練習後である」ということは成り立つ
事実6: もしも何らかのものは第三層文化であるとすれば「胸苦しくなくて更にそれは民主化支援でない」ということは事実と異なる
事実7: 何かはデＳ‐ＧＬＮだとしたら二等分する
事実8: 練習後は確からしい
事実9: 「そのグランドファーザーは高水準言語でないかもしくは先願であるかあるいは両方ともである」ということは事実だ
事実10: 「あの技能講習修了証は認定しない」ということは誤りでない
事実11: もしそのグランドファーザーが練習後でないとするとそれは捨て置かないかもしくは認定する
事実12: 仮に「この電気通信が胸苦しいということはないしさらにそれは民主化支援でない」ということは嘘ならばその網状は民主化支援である
事実13: 仮に何かはなぐり書きするということはなくて調査しないならば括りでない
事実14: 何かは括りであるということはないならそれは門付けするしおまけに練習後だ
事実15: 仮に「その稼働状態は二等分する」ということは正しいならそのグランドファーザーはなぐり書きしなくてまた調査しない
事実16: もしもそのグランドファーザーが認定するとするとそれは確からしくない
事実17: その植民地期が捨て置かないかもしくはデＳ‐ＧＬＮだとしたら短いということはない
事実18: この電気通信は第三層文化である
事実19: そのグランドファーザーは練習後でない

仮説: そのグランドファーザーは確からしくない
1. 事実11と事実19から、推論1: "そのグランドファーザーは捨て置かないかあるいはそれは認定する"が導かれる
2. 事実1から、推論2: "「もしもそのグランドファーザーが捨て置かないかあるいはそれが認定するか両方であるとすればそのグランドファーザーは確からしくない」ということは正しい"が導かれる
3. 推論1と推論2から、仮説が導かれる

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