その事業範囲はＳＶＯであるし設備配管だ
fact1: あのＩ＆Ｓ／ＢＢＤＯは付き易い fact2: 仮になにがしかの物が石経でないならその書架は三十分毎だということはないかもしくは石経であるということはないかあるいは両方だ fact3: 「この積み下ろしは入れ難くてかつそれは設備配管である」ということは本当である fact4: なにかはＳＶＯでないがそれは見劣りする fact5: 「なにかはアクチノマイシンＤだし石経だ」ということは正しいということはないとしたらそれは石経でない fact6: 「全ては締め付けるしかつ甚だしい」ということは正しい fact7: もし仮に何かは甚だしいとすれば「あの横這い傾向はアクチノマイシンＤで石経である」ということは成り立つということはない fact8: 仮に「模刻本でない」ものがあるとするとそのＰＮＧは騒がしくない fact9: 仮に「「「三十分毎であるということはないけど弱々しい」ということは成り立たない」ものはある」ということは成り立つとしたらその事業範囲は見劣りしない fact10: その事業範囲はケアだ fact11: 仮にこのテロ等は見劣りしないなら「その事業範囲はＳＶＯでそれは設備配管である」ということは成り立たない fact12: その事業範囲はＳＶＯだ fact13: もしもとあるものが見劣りしないならそれは設備配管である fact14: 「「三十分毎でないけど弱々しい」ということは成り立たない」物はある fact15: その事業範囲は住み難い fact16: 仮にその書架が弱々しかないとすればあのテロ等は見劣りしない fact17: 何かは触知出来ないとすれば「しかつめらしいということはない」ということは成り立たない
fact13 -> int1: もしその事業範囲が見劣りしないならばそれは設備配管である; fact14 & fact9 -> int2: その事業範囲は見劣りしない; int1 & int2 -> int3: その事業範囲は設備配管だ; int3 & fact12 -> hypothesis;
「その事業範囲はＳＶＯだし設備配管だ」ということは間違っている
fact22 -> int4: 仮に「あの横這い傾向はアクチノマイシンＤであるしまた石経である」ということは成り立たないならば石経でない; fact18 -> int5: あの中世時代は締め付けるししかもそれは甚だしい; int5 -> int6: あの中世時代は甚だしい; int6 -> int7: 甚だしいものはある; int7 & fact19 -> int8: 「あの横這い傾向はアクチノマイシンＤだしかつ石経だ」ということは事実でない; int4 & int8 -> int9: 「あの横這い傾向は石経でない」ということは事実だ; int9 -> int10: とある物は石経でない; int10 & fact21 -> int11: その書架は三十分毎でないかあるいは石経でないかあるいは両方ともである;
$facts$ = fact1: あのＩ＆Ｓ／ＢＢＤＯは付き易い fact2: 仮になにがしかの物が石経でないならその書架は三十分毎だということはないかもしくは石経であるということはないかあるいは両方だ fact3: 「この積み下ろしは入れ難くてかつそれは設備配管である」ということは本当である fact4: なにかはＳＶＯでないがそれは見劣りする fact5: 「なにかはアクチノマイシンＤだし石経だ」ということは正しいということはないとしたらそれは石経でない fact6: 「全ては締め付けるしかつ甚だしい」ということは正しい fact7: もし仮に何かは甚だしいとすれば「あの横這い傾向はアクチノマイシンＤで石経である」ということは成り立つということはない fact8: 仮に「模刻本でない」ものがあるとするとそのＰＮＧは騒がしくない fact9: 仮に「「「三十分毎であるということはないけど弱々しい」ということは成り立たない」ものはある」ということは成り立つとしたらその事業範囲は見劣りしない fact10: その事業範囲はケアだ fact11: 仮にこのテロ等は見劣りしないなら「その事業範囲はＳＶＯでそれは設備配管である」ということは成り立たない fact12: その事業範囲はＳＶＯだ fact13: もしもとあるものが見劣りしないならそれは設備配管である fact14: 「「三十分毎でないけど弱々しい」ということは成り立たない」物はある fact15: その事業範囲は住み難い fact16: 仮にその書架が弱々しかないとすればあのテロ等は見劣りしない fact17: 何かは触知出来ないとすれば「しかつめらしいということはない」ということは成り立たない ; $hypothesis$ = その事業範囲はＳＶＯであるし設備配管だ ; $proof$ = 
fact13 -> int1: もしその事業範囲が見劣りしないならばそれは設備配管である; fact14 & fact9 -> int2: その事業範囲は見劣りしない; int1 & int2 -> int3: その事業範囲は設備配管だ; int3 & fact12 -> hypothesis; __PROVED__
事実1: あのＩ＆Ｓ／ＢＢＤＯは付き易い
事実2: 仮になにがしかの物が石経でないならその書架は三十分毎だということはないかもしくは石経であるということはないかあるいは両方だ
事実3: 「この積み下ろしは入れ難くてかつそれは設備配管である」ということは本当である
事実4: なにかはＳＶＯでないがそれは見劣りする
事実5: 「なにかはアクチノマイシンＤだし石経だ」ということは正しいということはないとしたらそれは石経でない
事実6: 「全ては締め付けるしかつ甚だしい」ということは正しい
事実7: もし仮に何かは甚だしいとすれば「あの横這い傾向はアクチノマイシンＤで石経である」ということは成り立つということはない
事実8: 仮に「模刻本でない」ものがあるとするとそのＰＮＧは騒がしくない
事実9: 仮に「「「三十分毎であるということはないけど弱々しい」ということは成り立たない」ものはある」ということは成り立つとしたらその事業範囲は見劣りしない
事実10: その事業範囲はケアだ
事実11: 仮にこのテロ等は見劣りしないなら「その事業範囲はＳＶＯでそれは設備配管である」ということは成り立たない
事実12: その事業範囲はＳＶＯだ
事実13: もしもとあるものが見劣りしないならそれは設備配管である
事実14: 「「三十分毎でないけど弱々しい」ということは成り立たない」物はある
事実15: その事業範囲は住み難い
事実16: 仮にその書架が弱々しかないとすればあのテロ等は見劣りしない
事実17: 何かは触知出来ないとすれば「しかつめらしいということはない」ということは成り立たない

仮説: その事業範囲はＳＶＯであるし設備配管だ
1. 事実13から、推論1: "もしその事業範囲が見劣りしないならばそれは設備配管である"が導かれる
2. 事実14と事実9から、推論2: "その事業範囲は見劣りしない"が導かれる
3. 推論1と推論2から、推論3: "その事業範囲は設備配管だ"が導かれる
4. 推論3と事実12から、仮説が導かれる

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