「この結集は忌まわしいがしかし平均するということはない」ということは成り立たない
fact1: その灘が苦しくないならばあのエキストラは納品するしひょろ長い fact2: 「あのエキストラは忌まわしいということはない」ということは成り立てば「この結集は忌まわしいけれど平均するということはない」ということは真実だ fact3: 「忌まわしくない」物があるとしたらこの結集は納品するし自然らしい fact4: もし仮に「その兵達はおっそろしけどそれは立秋でない」ということは間違っているとすると「それは立秋だ」ということは成り立つ fact5: 「あのエキストラは自然らしい」ということは間違いでない fact6: 「その同前古典選書は自然らしいしそれは苦しい」ということは本当だ fact7: 「先進国中である」物はある fact8: 仮にその同前古典選書が改修するならそれはひょろ長い fact9: もしその灘が立秋だとしたらそれは苦しいということはない fact10: その農商務相は先進国中でないとしたら「この結集は忌まわしいがしかし平均しない」ということは誤っている fact11: あのエキストラは狭苦しい一方でそれは摘記しない fact12: もしその兵達が立秋だとすればその灘は立秋である fact13: 仮にあのエキストラが自然らしいしその上ひょろ長いとすればその同前古典選書は営業日報でない fact14: もし仮にその同前古典選書は自然らしいし更にひょろ長いとすると納品しない fact15: もし仮に「先進国中でない」ものがあるとすればあの農商務相は営業日報であるしかつ専門教育だ fact16: もしもその同前古典選書が営業日報であるということはないしそれが専門教育でないとしたらその農商務相は先進国中でない fact17: 営業日報が専門教育であるならその同前古典選書は改修する fact18: 「仮にその同前古典選書が納品しないとするとあのエキストラは忌まわしくない」ということは真実である fact19: なんらかのものは先進国中でない fact20: その農商務相は平均する
fact19 & fact15 -> int1: その農商務相は営業日報であるし更に専門教育である; int1 -> int2: 「営業日報だし更に専門教育な」ものはある; int2 & fact17 -> int3: その同前古典選書は改修する; int3 & fact8 -> int4: 「その同前古典選書はひょろ長い」ということは正しい; fact6 -> int5: その同前古典選書は自然らしい; int4 & int5 -> int6: その同前古典選書は自然らしいし更にひょろ長い; int6 & fact14 -> int7: その同前古典選書は納品しない; int7 & fact18 -> int8: あのエキストラは忌まわしいということはない; int8 & fact2 -> hypothesis;
「この結集は忌まわしいがしかし平均するということはない」ということは成り立たない
$facts$ = fact1: その灘が苦しくないならばあのエキストラは納品するしひょろ長い fact2: 「あのエキストラは忌まわしいということはない」ということは成り立てば「この結集は忌まわしいけれど平均するということはない」ということは真実だ fact3: 「忌まわしくない」物があるとしたらこの結集は納品するし自然らしい fact4: もし仮に「その兵達はおっそろしけどそれは立秋でない」ということは間違っているとすると「それは立秋だ」ということは成り立つ fact5: 「あのエキストラは自然らしい」ということは間違いでない fact6: 「その同前古典選書は自然らしいしそれは苦しい」ということは本当だ fact7: 「先進国中である」物はある fact8: 仮にその同前古典選書が改修するならそれはひょろ長い fact9: もしその灘が立秋だとしたらそれは苦しいということはない fact10: その農商務相は先進国中でないとしたら「この結集は忌まわしいがしかし平均しない」ということは誤っている fact11: あのエキストラは狭苦しい一方でそれは摘記しない fact12: もしその兵達が立秋だとすればその灘は立秋である fact13: 仮にあのエキストラが自然らしいしその上ひょろ長いとすればその同前古典選書は営業日報でない fact14: もし仮にその同前古典選書は自然らしいし更にひょろ長いとすると納品しない fact15: もし仮に「先進国中でない」ものがあるとすればあの農商務相は営業日報であるしかつ専門教育だ fact16: もしもその同前古典選書が営業日報であるということはないしそれが専門教育でないとしたらその農商務相は先進国中でない fact17: 営業日報が専門教育であるならその同前古典選書は改修する fact18: 「仮にその同前古典選書が納品しないとするとあのエキストラは忌まわしくない」ということは真実である fact19: なんらかのものは先進国中でない fact20: その農商務相は平均する ; $hypothesis$ = 「この結集は忌まわしいがしかし平均するということはない」ということは成り立たない ; $proof$ = 
fact19 & fact15 -> int1: その農商務相は営業日報であるし更に専門教育である; int1 -> int2: 「営業日報だし更に専門教育な」ものはある; int2 & fact17 -> int3: その同前古典選書は改修する; int3 & fact8 -> int4: 「その同前古典選書はひょろ長い」ということは正しい; fact6 -> int5: その同前古典選書は自然らしい; int4 & int5 -> int6: その同前古典選書は自然らしいし更にひょろ長い; int6 & fact14 -> int7: その同前古典選書は納品しない; int7 & fact18 -> int8: あのエキストラは忌まわしいということはない; int8 & fact2 -> hypothesis; __DISPROVED__
事実1: その灘が苦しくないならばあのエキストラは納品するしひょろ長い
事実2: 「あのエキストラは忌まわしいということはない」ということは成り立てば「この結集は忌まわしいけれど平均するということはない」ということは真実だ
事実3: 「忌まわしくない」物があるとしたらこの結集は納品するし自然らしい
事実4: もし仮に「その兵達はおっそろしけどそれは立秋でない」ということは間違っているとすると「それは立秋だ」ということは成り立つ
事実5: 「あのエキストラは自然らしい」ということは間違いでない
事実6: 「その同前古典選書は自然らしいしそれは苦しい」ということは本当だ
事実7: 「先進国中である」物はある
事実8: 仮にその同前古典選書が改修するならそれはひょろ長い
事実9: もしその灘が立秋だとしたらそれは苦しいということはない
事実10: その農商務相は先進国中でないとしたら「この結集は忌まわしいがしかし平均しない」ということは誤っている
事実11: あのエキストラは狭苦しい一方でそれは摘記しない
事実12: もしその兵達が立秋だとすればその灘は立秋である
事実13: 仮にあのエキストラが自然らしいしその上ひょろ長いとすればその同前古典選書は営業日報でない
事実14: もし仮にその同前古典選書は自然らしいし更にひょろ長いとすると納品しない
事実15: もし仮に「先進国中でない」ものがあるとすればあの農商務相は営業日報であるしかつ専門教育だ
事実16: もしもその同前古典選書が営業日報であるということはないしそれが専門教育でないとしたらその農商務相は先進国中でない
事実17: 営業日報が専門教育であるならその同前古典選書は改修する
事実18: 「仮にその同前古典選書が納品しないとするとあのエキストラは忌まわしくない」ということは真実である
事実19: なんらかのものは先進国中でない
事実20: その農商務相は平均する

仮説: 「この結集は忌まわしいがしかし平均するということはない」ということは成り立たない
1. 事実19と事実15から、推論1: "その農商務相は営業日報であるし更に専門教育である"が導かれる
2. 推論1から、推論2: "「営業日報だし更に専門教育な」ものはある"が導かれる
3. 推論2と事実17から、推論3: "その同前古典選書は改修する"が導かれる
4. 推論3と事実8から、推論4: "「その同前古典選書はひょろ長い」ということは正しい"が導かれる
5. 事実6から、推論5: "その同前古典選書は自然らしい"が導かれる
6. 推論4と推論5から、推論6: "その同前古典選書は自然らしいし更にひょろ長い"が導かれる
7. 推論6と事実14から、推論7: "その同前古典選書は納品しない"が導かれる
8. 推論7と事実18から、推論8: "あのエキストラは忌まわしいということはない"が導かれる
9. 推論8と事実2から、仮説が否定される

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