その小心者は表徴する
fact1: 仮にその小心者は業績予測情報でないとすると孵化する fact2: その小心者はすっごーい fact3: その土田警部は出来過ぎるということはない fact4: もしなにがしかの物は四角くないとすれば「あの懇親は引っ掴むしかつ爛れる」ということは間違っている fact5: もしもその小心者が出来過ぎないとするとそれは業績予測情報でない fact6: 仮に「とあるものは表徴するけれど業績予測情報でない」ということは確かでないとすれば表徴しない fact7: もし「「あの懇親が孵化しないしさらに接続出来るということはない」ということは成り立つ」ということは成り立たないとするとこの五衛府は孵化する fact8: もし仮になにかは業績予測情報でないとしたらそれは表徴するしかつそれは孵化する fact9: もし「「引っ掴むしかつ爛れる」ということは間違いな」物があるとしたらその包括的否認規定は爛れない fact10: 「とあるものは御しょうさんでない一方で四角い」ということは成り立たないとすればそれは四角いということはない fact11: 「引っ掴むししかも四角くない」物はある fact12: もしなにがしかの物は爛れないならば「接続出来ないけれど仕事する」ということは正しくない fact13: この五衛府が孵化するしさらにそれが出来過ぎるとしたらあのパリーグは孵化しない fact14: もしこの提出等は白丁ならば「御しょうさんでないけど四角い」ということは間違っている fact15: もし「何らかのものは改悪するけど白丁でない」ということは誤りだとすればそれは白丁だ fact16: もしもとある物は業績予測情報でないとすると「「それは孵化しないしそれに接続出来ない」ということは本当である」ということは成り立たない fact17: その小心者は出来過ぎるということはない fact18: もしも「その小心者は二十二型だということはない」ということは正しいならば出来過ぎない fact19: 「この提出等は改悪するが白丁でない」ということは偽である fact20: もしこの五衛府は出来過ぎるなら「「その小心者は表徴する一方でそれは業績予測情報でない」ということは成り立つ」ということは成り立たない fact21: 仮に何らかのものが美々しかないとすると地震発生だ
fact8 -> int1: もし仮にその小心者が業績予測情報でないとしたらそれは表徴するしさらにそれは孵化する; fact5 & fact17 -> int2: その小心者は業績予測情報でない; int1 & int2 -> int3: その小心者は表徴するしそれに孵化する; int3 -> hypothesis;
その小心者は表徴しない
fact22 -> int4: 「その小心者は表徴するが業績予測情報でない」ということは誤っているなら「それは表徴しない」ということは事実である; fact25 -> int5: もしその包括的否認規定は爛れないとすれば「接続出来ないけれど仕事する」ということは事実と異なる; fact23 -> int6: もしも「この提出等は御しょうさんでないが四角い」ということは偽であるとしたら四角いということはない; fact24 -> int7: 仮に「この提出等は改悪するけど白丁でない」ということは成り立たないとするとそれは白丁である; int7 & fact28 -> int8: 「この提出等は白丁である」ということは正しい; fact29 & int8 -> int9: 「この提出等は御しょうさんでないけれど四角い」ということは成り立たない; int6 & int9 -> int10: この提出等は四角いということはない; int10 -> int11: 「四角くない」ものはある; int11 & fact27 -> int12: 「「あの懇親は引っ掴むしおまけに爛れる」ということは事実である」ということは誤りだ; int12 -> int13: 「「引っ掴むしおまけに爛れる」ということは誤っている」ものはある; int13 & fact30 -> int14: その包括的否認規定は爛れない; int5 & int14 -> int15: 「その包括的否認規定は接続出来るということはない一方で仕事する」ということは間違いである; int15 -> int16: 「「接続出来ないがしかし仕事する」ということは誤りな」ものはある;
$facts$ = fact1: 仮にその小心者は業績予測情報でないとすると孵化する fact2: その小心者はすっごーい fact3: その土田警部は出来過ぎるということはない fact4: もしなにがしかの物は四角くないとすれば「あの懇親は引っ掴むしかつ爛れる」ということは間違っている fact5: もしもその小心者が出来過ぎないとするとそれは業績予測情報でない fact6: 仮に「とあるものは表徴するけれど業績予測情報でない」ということは確かでないとすれば表徴しない fact7: もし「「あの懇親が孵化しないしさらに接続出来るということはない」ということは成り立つ」ということは成り立たないとするとこの五衛府は孵化する fact8: もし仮になにかは業績予測情報でないとしたらそれは表徴するしかつそれは孵化する fact9: もし「「引っ掴むしかつ爛れる」ということは間違いな」物があるとしたらその包括的否認規定は爛れない fact10: 「とあるものは御しょうさんでない一方で四角い」ということは成り立たないとすればそれは四角いということはない fact11: 「引っ掴むししかも四角くない」物はある fact12: もしなにがしかの物は爛れないならば「接続出来ないけれど仕事する」ということは正しくない fact13: この五衛府が孵化するしさらにそれが出来過ぎるとしたらあのパリーグは孵化しない fact14: もしこの提出等は白丁ならば「御しょうさんでないけど四角い」ということは間違っている fact15: もし「何らかのものは改悪するけど白丁でない」ということは誤りだとすればそれは白丁だ fact16: もしもとある物は業績予測情報でないとすると「「それは孵化しないしそれに接続出来ない」ということは本当である」ということは成り立たない fact17: その小心者は出来過ぎるということはない fact18: もしも「その小心者は二十二型だということはない」ということは正しいならば出来過ぎない fact19: 「この提出等は改悪するが白丁でない」ということは偽である fact20: もしこの五衛府は出来過ぎるなら「「その小心者は表徴する一方でそれは業績予測情報でない」ということは成り立つ」ということは成り立たない fact21: 仮に何らかのものが美々しかないとすると地震発生だ ; $hypothesis$ = その小心者は表徴する ; $proof$ = 
fact8 -> int1: もし仮にその小心者が業績予測情報でないとしたらそれは表徴するしさらにそれは孵化する; fact5 & fact17 -> int2: その小心者は業績予測情報でない; int1 & int2 -> int3: その小心者は表徴するしそれに孵化する; int3 -> hypothesis; __PROVED__
事実1: 仮にその小心者は業績予測情報でないとすると孵化する
事実2: その小心者はすっごーい
事実3: その土田警部は出来過ぎるということはない
事実4: もしなにがしかの物は四角くないとすれば「あの懇親は引っ掴むしかつ爛れる」ということは間違っている
事実5: もしもその小心者が出来過ぎないとするとそれは業績予測情報でない
事実6: 仮に「とあるものは表徴するけれど業績予測情報でない」ということは確かでないとすれば表徴しない
事実7: もし「「あの懇親が孵化しないしさらに接続出来るということはない」ということは成り立つ」ということは成り立たないとするとこの五衛府は孵化する
事実8: もし仮になにかは業績予測情報でないとしたらそれは表徴するしかつそれは孵化する
事実9: もし「「引っ掴むしかつ爛れる」ということは間違いな」物があるとしたらその包括的否認規定は爛れない
事実10: 「とあるものは御しょうさんでない一方で四角い」ということは成り立たないとすればそれは四角いということはない
事実11: 「引っ掴むししかも四角くない」物はある
事実12: もしなにがしかの物は爛れないならば「接続出来ないけれど仕事する」ということは正しくない
事実13: この五衛府が孵化するしさらにそれが出来過ぎるとしたらあのパリーグは孵化しない
事実14: もしこの提出等は白丁ならば「御しょうさんでないけど四角い」ということは間違っている
事実15: もし「何らかのものは改悪するけど白丁でない」ということは誤りだとすればそれは白丁だ
事実16: もしもとある物は業績予測情報でないとすると「「それは孵化しないしそれに接続出来ない」ということは本当である」ということは成り立たない
事実17: その小心者は出来過ぎるということはない
事実18: もしも「その小心者は二十二型だということはない」ということは正しいならば出来過ぎない
事実19: 「この提出等は改悪するが白丁でない」ということは偽である
事実20: もしこの五衛府は出来過ぎるなら「「その小心者は表徴する一方でそれは業績予測情報でない」ということは成り立つ」ということは成り立たない
事実21: 仮に何らかのものが美々しかないとすると地震発生だ

仮説: その小心者は表徴する
1. 事実8から、推論1: "もし仮にその小心者が業績予測情報でないとしたらそれは表徴するしさらにそれは孵化する"が導かれる
2. 事実5と事実17から、推論2: "その小心者は業績予測情報でない"が導かれる
3. 推論1と推論2から、推論3: "その小心者は表徴するしそれに孵化する"が導かれる
4. 推論3から、仮説が導かれる

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