「この石柱は早しということはなくてまた固定金利選択型でない」ということは成り立たない
fact1: もし仮にとある物が嬉しがらないとしたらそれは早しないし固定金利選択型でない fact2: 「この石柱は早しない一方で固定金利選択型である」ということは誤っている fact3: もし仮にとあるものはむつみ達でないか打ち続かないかまたはどちらもであるとするとそれは打ち続かない fact4: もしもその設立認可はＦＤＩＣであるとすれば「この石柱は早しがそれは固定金利選択型でない」ということは成り立たない fact5: もしも「「ある物は固定金利選択型でないかそれは早しない」ということは成り立つ」ということは成り立たないならばそれはＦＤＩＣでない fact6: もしこのＰＩＤが嬉しがるとするとその設立認可はＦＤＩＣである fact7: もしも何かは選択され易いとしたらむつみ達でないかまたはそれは打ち続かないかあるいは両方だ fact8: とある物はＦＤＩＣでないならば「それは嬉しがらなくて加えてごちゃごちゃしない」ということは偽である fact9: このＰＩＤは嬉しがる fact10: ある物は現われ難くない fact11: 「この石柱は早し一方で固定金利選択型でない」ということは間違いである fact12: もしなんらかのものは打ち続くということはないならば「固定金利選択型でないかもしくはそれは早しということはないかもしくはどちらもだ」ということは誤りである fact13: もしもこの石柱はＦＤＩＣであるしまた打ち続くとすれば嬉しがらない fact14: あの姉夫婦は嬉しがる fact15: このＰＩＤが固定金利選択型であるとすればこの石柱は嬉しがる fact16: もしその設立認可はＦＤＩＣであるとすれば「この石柱は早しないし固定金利選択型であるということはない」ということは偽だ
fact6 & fact9 -> int1: 「その設立認可はＦＤＩＣである」ということは確かである; int1 & fact16 -> hypothesis;
この石柱は早しないしその上固定金利選択型だということはない
fact18 -> int2: もしもこの石柱が嬉しがらないならそれは早しないし加えて固定金利選択型でない;
$facts$ = fact1: もし仮にとある物が嬉しがらないとしたらそれは早しないし固定金利選択型でない fact2: 「この石柱は早しない一方で固定金利選択型である」ということは誤っている fact3: もし仮にとあるものはむつみ達でないか打ち続かないかまたはどちらもであるとするとそれは打ち続かない fact4: もしもその設立認可はＦＤＩＣであるとすれば「この石柱は早しがそれは固定金利選択型でない」ということは成り立たない fact5: もしも「「ある物は固定金利選択型でないかそれは早しない」ということは成り立つ」ということは成り立たないならばそれはＦＤＩＣでない fact6: もしこのＰＩＤが嬉しがるとするとその設立認可はＦＤＩＣである fact7: もしも何かは選択され易いとしたらむつみ達でないかまたはそれは打ち続かないかあるいは両方だ fact8: とある物はＦＤＩＣでないならば「それは嬉しがらなくて加えてごちゃごちゃしない」ということは偽である fact9: このＰＩＤは嬉しがる fact10: ある物は現われ難くない fact11: 「この石柱は早し一方で固定金利選択型でない」ということは間違いである fact12: もしなんらかのものは打ち続くということはないならば「固定金利選択型でないかもしくはそれは早しということはないかもしくはどちらもだ」ということは誤りである fact13: もしもこの石柱はＦＤＩＣであるしまた打ち続くとすれば嬉しがらない fact14: あの姉夫婦は嬉しがる fact15: このＰＩＤが固定金利選択型であるとすればこの石柱は嬉しがる fact16: もしその設立認可はＦＤＩＣであるとすれば「この石柱は早しないし固定金利選択型であるということはない」ということは偽だ ; $hypothesis$ = 「この石柱は早しということはなくてまた固定金利選択型でない」ということは成り立たない ; $proof$ = 
fact6 & fact9 -> int1: 「その設立認可はＦＤＩＣである」ということは確かである; int1 & fact16 -> hypothesis; __PROVED__
事実1: もし仮にとある物が嬉しがらないとしたらそれは早しないし固定金利選択型でない
事実2: 「この石柱は早しない一方で固定金利選択型である」ということは誤っている
事実3: もし仮にとあるものはむつみ達でないか打ち続かないかまたはどちらもであるとするとそれは打ち続かない
事実4: もしもその設立認可はＦＤＩＣであるとすれば「この石柱は早しがそれは固定金利選択型でない」ということは成り立たない
事実5: もしも「「ある物は固定金利選択型でないかそれは早しない」ということは成り立つ」ということは成り立たないならばそれはＦＤＩＣでない
事実6: もしこのＰＩＤが嬉しがるとするとその設立認可はＦＤＩＣである
事実7: もしも何かは選択され易いとしたらむつみ達でないかまたはそれは打ち続かないかあるいは両方だ
事実8: とある物はＦＤＩＣでないならば「それは嬉しがらなくて加えてごちゃごちゃしない」ということは偽である
事実9: このＰＩＤは嬉しがる
事実10: ある物は現われ難くない
事実11: 「この石柱は早し一方で固定金利選択型でない」ということは間違いである
事実12: もしなんらかのものは打ち続くということはないならば「固定金利選択型でないかもしくはそれは早しということはないかもしくはどちらもだ」ということは誤りである
事実13: もしもこの石柱はＦＤＩＣであるしまた打ち続くとすれば嬉しがらない
事実14: あの姉夫婦は嬉しがる
事実15: このＰＩＤが固定金利選択型であるとすればこの石柱は嬉しがる
事実16: もしその設立認可はＦＤＩＣであるとすれば「この石柱は早しないし固定金利選択型であるということはない」ということは偽だ

仮説: 「この石柱は早しということはなくてまた固定金利選択型でない」ということは成り立たない
1. 事実6と事実9から、推論1: "「その設立認可はＦＤＩＣである」ということは確かである"が導かれる
2. 推論1と事実16から、仮説が導かれる

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