何かは仮定的独占者テストでないが人見知りする
fact1: その骨盤腔は招致するしその上繋ぎ止める fact2: 仮に「なにかは人見知りする」ということは真実であるなら仮定的独占者テストでないけれど招致する fact3: もし何らかのものは招致しないなら「それが繋ぎ止めるということはないしその上それは仮定的独占者テストでない」ということは間違っている fact4: もし仮に「その骨盤腔は軽巡洋艦であるけど言い訳がましいということはない」ということは誤っているならそれは招致しない fact5: もしこの地域別傾向は水上艦であるということはないとすれば「「その骨盤腔は軽巡洋艦だけれど言い訳はましくらない」ということは本当だ」ということは成り立つということはない fact6: もし仮にその原価差損が疑り深くないならそれは熱いししかも惜しみ無い fact7: 仮になんらかのものは熱いとすれば「苛々し易いということはなくてしかも人見知りする」ということは成り立たない fact8: もしもなんらかの物は繋ぎ止めるとすれば「仮定的独占者テストでないがしかし人見知りする」ということは誤りでない fact9: 「「繋ぎ止めないし仮定的独占者テストでない」ということは成り立たない」ものがあるとすればあの原価差損は仮定的独占者テストである fact10: 仮に「何かは苛々し易くないがしかし人見知りする」ということは誤りだとしたら「苛々し易い」ということは確かである fact11: その原価差損は疑り深くない
fact1 -> int1: 「その骨盤腔は繋ぎ止める」ということは事実である; fact8 -> int2: その骨盤腔が繋ぎ止めるならそれは仮定的独占者テストでないし更に人見知りする; int1 & int2 -> int3: その骨盤腔は仮定的独占者テストだということはないがしかし人見知りする; int3 -> hypothesis;
その原価差損は苛々し易くてそれは仮定的独占者テストだ
fact16 -> int4: もし仮に「その原価差損は苛々し易くないが人見知りする」ということは誤りであるとすると苛々し易い; fact18 -> int5: もし仮にその原価差損は熱いとすれば「苛々し易くないし更に人見知りする」ということは間違いだ; fact15 & fact13 -> int6: その原価差損は熱いしかつ惜しみ無い; int6 -> int7: その原価差損は熱い; int5 & int7 -> int8: 「その原価差損は苛々し易くないけど人見知りする」ということは偽だ; int4 & int8 -> int9: その原価差損は苛々し易い; fact12 -> int10: もし仮にその骨盤腔は招致しないとすれば「それは繋ぎ止めなくてかつ仮定的独占者テストでない」ということは間違っている;
$facts$ = fact1: その骨盤腔は招致するしその上繋ぎ止める fact2: 仮に「なにかは人見知りする」ということは真実であるなら仮定的独占者テストでないけれど招致する fact3: もし何らかのものは招致しないなら「それが繋ぎ止めるということはないしその上それは仮定的独占者テストでない」ということは間違っている fact4: もし仮に「その骨盤腔は軽巡洋艦であるけど言い訳がましいということはない」ということは誤っているならそれは招致しない fact5: もしこの地域別傾向は水上艦であるということはないとすれば「「その骨盤腔は軽巡洋艦だけれど言い訳はましくらない」ということは本当だ」ということは成り立つということはない fact6: もし仮にその原価差損が疑り深くないならそれは熱いししかも惜しみ無い fact7: 仮になんらかのものは熱いとすれば「苛々し易いということはなくてしかも人見知りする」ということは成り立たない fact8: もしもなんらかの物は繋ぎ止めるとすれば「仮定的独占者テストでないがしかし人見知りする」ということは誤りでない fact9: 「「繋ぎ止めないし仮定的独占者テストでない」ということは成り立たない」ものがあるとすればあの原価差損は仮定的独占者テストである fact10: 仮に「何かは苛々し易くないがしかし人見知りする」ということは誤りだとしたら「苛々し易い」ということは確かである fact11: その原価差損は疑り深くない ; $hypothesis$ = 何かは仮定的独占者テストでないが人見知りする ; $proof$ = 
fact1 -> int1: 「その骨盤腔は繋ぎ止める」ということは事実である; fact8 -> int2: その骨盤腔が繋ぎ止めるならそれは仮定的独占者テストでないし更に人見知りする; int1 & int2 -> int3: その骨盤腔は仮定的独占者テストだということはないがしかし人見知りする; int3 -> hypothesis; __PROVED__
事実1: その骨盤腔は招致するしその上繋ぎ止める
事実2: 仮に「なにかは人見知りする」ということは真実であるなら仮定的独占者テストでないけれど招致する
事実3: もし何らかのものは招致しないなら「それが繋ぎ止めるということはないしその上それは仮定的独占者テストでない」ということは間違っている
事実4: もし仮に「その骨盤腔は軽巡洋艦であるけど言い訳がましいということはない」ということは誤っているならそれは招致しない
事実5: もしこの地域別傾向は水上艦であるということはないとすれば「「その骨盤腔は軽巡洋艦だけれど言い訳はましくらない」ということは本当だ」ということは成り立つということはない
事実6: もし仮にその原価差損が疑り深くないならそれは熱いししかも惜しみ無い
事実7: 仮になんらかのものは熱いとすれば「苛々し易いということはなくてしかも人見知りする」ということは成り立たない
事実8: もしもなんらかの物は繋ぎ止めるとすれば「仮定的独占者テストでないがしかし人見知りする」ということは誤りでない
事実9: 「「繋ぎ止めないし仮定的独占者テストでない」ということは成り立たない」ものがあるとすればあの原価差損は仮定的独占者テストである
事実10: 仮に「何かは苛々し易くないがしかし人見知りする」ということは誤りだとしたら「苛々し易い」ということは確かである
事実11: その原価差損は疑り深くない

仮説: 何かは仮定的独占者テストでないが人見知りする
1. 事実1から、推論1: "「その骨盤腔は繋ぎ止める」ということは事実である"が導かれる
2. 事実8から、推論2: "その骨盤腔が繋ぎ止めるならそれは仮定的独占者テストでないし更に人見知りする"が導かれる
3. 推論1と推論2から、推論3: "その骨盤腔は仮定的独占者テストだということはないがしかし人見知りする"が導かれる
4. 推論3から、仮説が導かれる

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