その初弾は溢れ返るし更に支払い期日だ
fact1: その初弾は法務だ fact2: その初弾は溢れ返るしまたシャルピー遷移温度だ fact3: もしその初弾がシャルピー遷移温度であるとしたらこの被担保債権額は引き易くない fact4: もしもその初弾はシャルピー遷移温度でないとしたら引き易いし溢れ返る fact5: 「建造物損壊罪であるということはない」物はある fact6: 「仮にその初弾が引き易くないとしたらその初弾は溢れ返る」ということは成り立つ fact7: 「座標Ａでないが諮問会議である」物はある fact8: もし仮になにがしかの物が寄せだということはないならばそれは委ねるということはなくて更に御挨拶する fact9: とある物は寄せでないがしかしヘルキャットだ fact10: 仮に何らかの物が溢れ返らないとすればシャルピー遷移温度だ fact11: もし「寄せでないがヘルキャットである」物があるならばあの被担保債権額はシャルピー遷移温度である fact12: 「何らかのものはシャルピー遷移温度でない」ということは確かである fact13: 「あの遊園地は余儀無いならば「あの遊園地は這わさない一方で引き易い」ということは誤っている」ということは真実である fact14: この第二警察学校は引き易くない fact15: 「この校異源氏物語はヘルキャットでなくておまけにシャルピー遷移温度でない」ということは誤りならばあの被担保債権額は寄せでない fact16: 「シャルピー遷移温度だということはないがしかし支払い期日である」ものはある fact17: もしもこの被担保債権額がシャルピー遷移温度だとするとその初弾は引き易くない fact18: 引き易くないものは溢れ返るし支払い期日である fact19: 危うくないものは酸素量で更に入れ替える fact20: もし仮にこの被担保債権額が引き易いとすればあの初弾はシャルピー遷移温度でない fact21: この被担保債権額は寄せであるということはない fact22: 「寄せでない」物はある
fact9 & fact11 -> int1: この被担保債権額はシャルピー遷移温度だ; int1 & fact17 -> int2: その初弾は引き易くない; fact18 -> int3: 仮にその初弾が引き易くないなら溢れ返るしそれは支払い期日である; int2 & int3 -> hypothesis;
「委ねないけど御挨拶する」物はある
fact23 -> int4: もしもこの被担保債権額が寄せでないとするとそれは委ねるということはないし御挨拶する;
$facts$ = fact1: その初弾は法務だ fact2: その初弾は溢れ返るしまたシャルピー遷移温度だ fact3: もしその初弾がシャルピー遷移温度であるとしたらこの被担保債権額は引き易くない fact4: もしもその初弾はシャルピー遷移温度でないとしたら引き易いし溢れ返る fact5: 「建造物損壊罪であるということはない」物はある fact6: 「仮にその初弾が引き易くないとしたらその初弾は溢れ返る」ということは成り立つ fact7: 「座標Ａでないが諮問会議である」物はある fact8: もし仮になにがしかの物が寄せだということはないならばそれは委ねるということはなくて更に御挨拶する fact9: とある物は寄せでないがしかしヘルキャットだ fact10: 仮に何らかの物が溢れ返らないとすればシャルピー遷移温度だ fact11: もし「寄せでないがヘルキャットである」物があるならばあの被担保債権額はシャルピー遷移温度である fact12: 「何らかのものはシャルピー遷移温度でない」ということは確かである fact13: 「あの遊園地は余儀無いならば「あの遊園地は這わさない一方で引き易い」ということは誤っている」ということは真実である fact14: この第二警察学校は引き易くない fact15: 「この校異源氏物語はヘルキャットでなくておまけにシャルピー遷移温度でない」ということは誤りならばあの被担保債権額は寄せでない fact16: 「シャルピー遷移温度だということはないがしかし支払い期日である」ものはある fact17: もしもこの被担保債権額がシャルピー遷移温度だとするとその初弾は引き易くない fact18: 引き易くないものは溢れ返るし支払い期日である fact19: 危うくないものは酸素量で更に入れ替える fact20: もし仮にこの被担保債権額が引き易いとすればあの初弾はシャルピー遷移温度でない fact21: この被担保債権額は寄せであるということはない fact22: 「寄せでない」物はある ; $hypothesis$ = その初弾は溢れ返るし更に支払い期日だ ; $proof$ = 
fact9 & fact11 -> int1: この被担保債権額はシャルピー遷移温度だ; int1 & fact17 -> int2: その初弾は引き易くない; fact18 -> int3: 仮にその初弾が引き易くないなら溢れ返るしそれは支払い期日である; int2 & int3 -> hypothesis; __PROVED__
事実1: その初弾は法務だ
事実2: その初弾は溢れ返るしまたシャルピー遷移温度だ
事実3: もしその初弾がシャルピー遷移温度であるとしたらこの被担保債権額は引き易くない
事実4: もしもその初弾はシャルピー遷移温度でないとしたら引き易いし溢れ返る
事実5: 「建造物損壊罪であるということはない」物はある
事実6: 「仮にその初弾が引き易くないとしたらその初弾は溢れ返る」ということは成り立つ
事実7: 「座標Ａでないが諮問会議である」物はある
事実8: もし仮になにがしかの物が寄せだということはないならばそれは委ねるということはなくて更に御挨拶する
事実9: とある物は寄せでないがしかしヘルキャットだ
事実10: 仮に何らかの物が溢れ返らないとすればシャルピー遷移温度だ
事実11: もし「寄せでないがヘルキャットである」物があるならばあの被担保債権額はシャルピー遷移温度である
事実12: 「何らかのものはシャルピー遷移温度でない」ということは確かである
事実13: 「あの遊園地は余儀無いならば「あの遊園地は這わさない一方で引き易い」ということは誤っている」ということは真実である
事実14: この第二警察学校は引き易くない
事実15: 「この校異源氏物語はヘルキャットでなくておまけにシャルピー遷移温度でない」ということは誤りならばあの被担保債権額は寄せでない
事実16: 「シャルピー遷移温度だということはないがしかし支払い期日である」ものはある
事実17: もしもこの被担保債権額がシャルピー遷移温度だとするとその初弾は引き易くない
事実18: 引き易くないものは溢れ返るし支払い期日である
事実19: 危うくないものは酸素量で更に入れ替える
事実20: もし仮にこの被担保債権額が引き易いとすればあの初弾はシャルピー遷移温度でない
事実21: この被担保債権額は寄せであるということはない
事実22: 「寄せでない」物はある

仮説: その初弾は溢れ返るし更に支払い期日だ
1. 事実9と事実11から、推論1: "この被担保債権額はシャルピー遷移温度だ"が導かれる
2. 推論1と事実17から、推論2: "その初弾は引き易くない"が導かれる
3. 事実18から、推論3: "仮にその初弾が引き易くないなら溢れ返るしそれは支払い期日である"が導かれる
4. 推論2と推論3から、仮説が導かれる

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