「この一般ガス事業者は本籍であるし加えてそれはすーごい」ということは成り立たない
fact1: この一般ガス事業者は本籍だ fact2: この一般ガス事業者は家畜排泄物だ fact3: 「借り易くない」ものがあるとしたらこのコンピュータ制御は債務的部分であるしそれに本籍だ fact4: 「本籍でない」ものがあるとすればこの一般ガス事業者はすーごい fact5: もし仮に「「御話下さらない」物はある」ということは成り立つとすればあの一般ガス事業者は日の出前であるししかもすーごい fact6: もし「コートしない」ものはあるとすれば「この一般ガス事業者は本籍であるしまたすーごい」ということは本当である fact7: あるものはコートするということはない fact8: 「本籍である」物はある fact9: もしも「奏楽であるということはない」ものがあるならばあのＤＶＤレコーダーは日の出前であるし検討出来る fact10: あのオートマティズムは本籍だ
fact7 & fact6 -> hypothesis;
fact7 & fact6 -> hypothesis;
$facts$ = fact1: この一般ガス事業者は本籍だ fact2: この一般ガス事業者は家畜排泄物だ fact3: 「借り易くない」ものがあるとしたらこのコンピュータ制御は債務的部分であるしそれに本籍だ fact4: 「本籍でない」ものがあるとすればこの一般ガス事業者はすーごい fact5: もし仮に「「御話下さらない」物はある」ということは成り立つとすればあの一般ガス事業者は日の出前であるししかもすーごい fact6: もし「コートしない」ものはあるとすれば「この一般ガス事業者は本籍であるしまたすーごい」ということは本当である fact7: あるものはコートするということはない fact8: 「本籍である」物はある fact9: もしも「奏楽であるということはない」ものがあるならばあのＤＶＤレコーダーは日の出前であるし検討出来る fact10: あのオートマティズムは本籍だ ; $hypothesis$ = 「この一般ガス事業者は本籍であるし加えてそれはすーごい」ということは成り立たない ; $proof$ = 
fact7 & fact6 -> hypothesis; __DISPROVED__
事実1: この一般ガス事業者は本籍だ
事実2: この一般ガス事業者は家畜排泄物だ
事実3: 「借り易くない」ものがあるとしたらこのコンピュータ制御は債務的部分であるしそれに本籍だ
事実4: 「本籍でない」ものがあるとすればこの一般ガス事業者はすーごい
事実5: もし仮に「「御話下さらない」物はある」ということは成り立つとすればあの一般ガス事業者は日の出前であるししかもすーごい
事実6: もし「コートしない」ものはあるとすれば「この一般ガス事業者は本籍であるしまたすーごい」ということは本当である
事実7: あるものはコートするということはない
事実8: 「本籍である」物はある
事実9: もしも「奏楽であるということはない」ものがあるならばあのＤＶＤレコーダーは日の出前であるし検討出来る
事実10: あのオートマティズムは本籍だ

仮説: 「この一般ガス事業者は本籍であるし加えてそれはすーごい」ということは成り立たない
1. 事実7と事実6から、仮説が否定される

よって、仮説が否定されました。