「「歌舞伎っぽくて骨移植である」ということは事実でない」物はある
fact1: 「この商談は疲れる」ということは成り立つ fact2: もしも「漂い出さない」物はあれば「この商談は歌舞伎っぽいしそれに骨移植である」ということは間違いである fact3: その好評は潜行する fact4: 「疲れるしストラッツページ・フロー図である」ものはある fact5: もしもその高温下が母親らしいとするとあの行具は漂い出さない fact6: とあるものは生温かい fact7: もし仮にその好評は疲れないとすれば「あの卜部家は実用性でない」ということは成り立つ fact8: その好評はストラッツページ・フロー図でない fact9: 「「潜行するし疲れる」ということは間違っている」ものはある fact10: 「なにがしかのものは歌舞伎っぽいししかも骨移植だ」ということは確かである fact11: 「「ブレークダウンする」ということは間違いでない」物はある fact12: もし仮にあの卜部家が疲れないならその好評は実用性でない fact13: もしもこの商談が漂い出さないならばあの行具は歌舞伎っぽいということはない fact14: 仮にあの卜部家がストラッツページ・フロー図でないとすればあの好評は実用性でない fact15: その高温下が実用性でないならばあの卜部家はストラッツページ・フロー図であるがそれは疲れない fact16: もし「骨移植でない」物はあるとしたら「その好評は実用性でしかもそれは漂い出す」ということは間違っている fact17: この学説は見苦しくないけど贈与者だ fact18: この癒合は潜行する fact19: 何かは母親らしくない fact20: あの行具は母親らしい fact21: 仮になにがしかの物はストラッツページ・フロー図であるなら漂い出す fact22: 「あの行具は潜行するし漂い出す」ということは偽だ fact23: 仮に「この商談は漂い出すということはない」ということは成り立つならあの行具は歌舞伎っぽい fact24: もしあの卜部家は漂い出せば「そのＣＡＴＶモデムは漂い出す」ということは成り立つ fact25: 「この商談は黒しない」ということは成り立つ fact26: 何らかの物は漂い出す fact27: もしその好評が実用性でないがしかし潜行するとしたらその高温下は母親らしい fact28: あの卜部家はストラッツページ・フロー図でないかまたは疲れないか両方ともだ
fact28 & fact14 & fact12 -> int1: その好評は実用性だということはない; int1 & fact3 -> int2: その好評は実用性でないけれどそれは潜行する; int2 & fact27 -> int3: その高温下は母親らしい; int3 & fact5 -> int4: あの行具は漂い出さない; int4 -> int5: 「「漂い出さない」ということは間違いでない」ものはある; int5 & fact2 -> int6: 「この商談は歌舞伎っぽいししかも骨移植だ」ということは誤りだ; int6 -> hypothesis;
そのＣＡＴＶモデムは漂い出す
fact29 -> int7: 仮に「あの卜部家はストラッツページ・フロー図である」ということは偽でないとしたらそれは漂い出す;
$facts$ = fact1: 「この商談は疲れる」ということは成り立つ fact2: もしも「漂い出さない」物はあれば「この商談は歌舞伎っぽいしそれに骨移植である」ということは間違いである fact3: その好評は潜行する fact4: 「疲れるしストラッツページ・フロー図である」ものはある fact5: もしもその高温下が母親らしいとするとあの行具は漂い出さない fact6: とあるものは生温かい fact7: もし仮にその好評は疲れないとすれば「あの卜部家は実用性でない」ということは成り立つ fact8: その好評はストラッツページ・フロー図でない fact9: 「「潜行するし疲れる」ということは間違っている」ものはある fact10: 「なにがしかのものは歌舞伎っぽいししかも骨移植だ」ということは確かである fact11: 「「ブレークダウンする」ということは間違いでない」物はある fact12: もし仮にあの卜部家が疲れないならその好評は実用性でない fact13: もしもこの商談が漂い出さないならばあの行具は歌舞伎っぽいということはない fact14: 仮にあの卜部家がストラッツページ・フロー図でないとすればあの好評は実用性でない fact15: その高温下が実用性でないならばあの卜部家はストラッツページ・フロー図であるがそれは疲れない fact16: もし「骨移植でない」物はあるとしたら「その好評は実用性でしかもそれは漂い出す」ということは間違っている fact17: この学説は見苦しくないけど贈与者だ fact18: この癒合は潜行する fact19: 何かは母親らしくない fact20: あの行具は母親らしい fact21: 仮になにがしかの物はストラッツページ・フロー図であるなら漂い出す fact22: 「あの行具は潜行するし漂い出す」ということは偽だ fact23: 仮に「この商談は漂い出すということはない」ということは成り立つならあの行具は歌舞伎っぽい fact24: もしあの卜部家は漂い出せば「そのＣＡＴＶモデムは漂い出す」ということは成り立つ fact25: 「この商談は黒しない」ということは成り立つ fact26: 何らかの物は漂い出す fact27: もしその好評が実用性でないがしかし潜行するとしたらその高温下は母親らしい fact28: あの卜部家はストラッツページ・フロー図でないかまたは疲れないか両方ともだ ; $hypothesis$ = 「「歌舞伎っぽくて骨移植である」ということは事実でない」物はある ; $proof$ = 
fact28 & fact14 & fact12 -> int1: その好評は実用性だということはない; int1 & fact3 -> int2: その好評は実用性でないけれどそれは潜行する; int2 & fact27 -> int3: その高温下は母親らしい; int3 & fact5 -> int4: あの行具は漂い出さない; int4 -> int5: 「「漂い出さない」ということは間違いでない」ものはある; int5 & fact2 -> int6: 「この商談は歌舞伎っぽいししかも骨移植だ」ということは誤りだ; int6 -> hypothesis; __PROVED__
事実1: 「この商談は疲れる」ということは成り立つ
事実2: もしも「漂い出さない」物はあれば「この商談は歌舞伎っぽいしそれに骨移植である」ということは間違いである
事実3: その好評は潜行する
事実4: 「疲れるしストラッツページ・フロー図である」ものはある
事実5: もしもその高温下が母親らしいとするとあの行具は漂い出さない
事実6: とあるものは生温かい
事実7: もし仮にその好評は疲れないとすれば「あの卜部家は実用性でない」ということは成り立つ
事実8: その好評はストラッツページ・フロー図でない
事実9: 「「潜行するし疲れる」ということは間違っている」ものはある
事実10: 「なにがしかのものは歌舞伎っぽいししかも骨移植だ」ということは確かである
事実11: 「「ブレークダウンする」ということは間違いでない」物はある
事実12: もし仮にあの卜部家が疲れないならその好評は実用性でない
事実13: もしもこの商談が漂い出さないならばあの行具は歌舞伎っぽいということはない
事実14: 仮にあの卜部家がストラッツページ・フロー図でないとすればあの好評は実用性でない
事実15: その高温下が実用性でないならばあの卜部家はストラッツページ・フロー図であるがそれは疲れない
事実16: もし「骨移植でない」物はあるとしたら「その好評は実用性でしかもそれは漂い出す」ということは間違っている
事実17: この学説は見苦しくないけど贈与者だ
事実18: この癒合は潜行する
事実19: 何かは母親らしくない
事実20: あの行具は母親らしい
事実21: 仮になにがしかの物はストラッツページ・フロー図であるなら漂い出す
事実22: 「あの行具は潜行するし漂い出す」ということは偽だ
事実23: 仮に「この商談は漂い出すということはない」ということは成り立つならあの行具は歌舞伎っぽい
事実24: もしあの卜部家は漂い出せば「そのＣＡＴＶモデムは漂い出す」ということは成り立つ
事実25: 「この商談は黒しない」ということは成り立つ
事実26: 何らかの物は漂い出す
事実27: もしその好評が実用性でないがしかし潜行するとしたらその高温下は母親らしい
事実28: あの卜部家はストラッツページ・フロー図でないかまたは疲れないか両方ともだ

仮説: 「「歌舞伎っぽくて骨移植である」ということは事実でない」物はある
1. 事実28と事実14と事実12から、推論1: "その好評は実用性だということはない"が導かれる
2. 推論1と事実3から、推論2: "その好評は実用性でないけれどそれは潜行する"が導かれる
3. 推論2と事実27から、推論3: "その高温下は母親らしい"が導かれる
4. 推論3と事実5から、推論4: "あの行具は漂い出さない"が導かれる
5. 推論4から、推論5: "「「漂い出さない」ということは間違いでない」ものはある"が導かれる
6. 推論5と事実2から、推論6: "「この商談は歌舞伎っぽいししかも骨移植だ」ということは誤りだ"が導かれる
7. 推論6から、仮説が導かれる

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