このオペラ劇場は許し難し
fact1: 仮にあの別口が許し難しとすればこのオペラ劇場は許し難し fact2: このオペラ劇場は御めでたいけれど反米でない fact3: 焦げ臭いものが柔らかいということはないとするとあの族は名高くない fact4: もしなにかは青黒くないとしたら「ホルモンだししかもそれは結び付き易くない」ということは誤りだ fact5: もし仮にこのオペラ劇場は御めでたいけど反米でないとすれば「許し難くない」ということは成り立つ fact6: 嫌らしいし盛り上げるというものはない fact7: この異郷は反米であるということはない fact8: もし「あの基本ファイルはホルモンだが結び付き易いということはない」ということは確かでないとしたらあの重しはスネイプ城である fact9: 仮にその猖獗が許し難しならばあの別口は許し難し fact10: もし仮にとあるものは受傷でないとするとそれは焦げ臭いけれど柔らかくない fact11: もし仮に「あの族は名高くない」ということは成り立つとすればその猖獗は許し難しかもしくは浅ましいかもしくは両方だ fact12: もし「「「嫌らしいしさらに盛り上げる」ということは確かだ」ということは成り立たない」ものはあるとしたら「あの基本ファイルは青黒くない」ということは真実である fact13: もしこのオペラ劇場は建議するがしかし許し難くないとするとそれは大奥女中達でない fact14: ある物が乾き切るとするとそれは受傷でない fact15: 仮になんらかの物はスネイプ城であるとすれば乾き切る
fact5 & fact2 -> hypothesis;
このオペラ劇場は許し難し
fact25 -> int1: 仮にあの重しは受傷でないならそれは焦げ臭いがしかし柔らかくない; fact23 -> int2: もしもあの重しが乾き切るとするとそれは受傷でない; fact18 -> int3: あの重しはスネイプ城であるならば乾き切る; fact17 -> int4: もしあの基本ファイルは青黒いということはないとすると「ホルモンであるしそれは結び付き易くない」ということは偽である; fact19 -> int5: 「その判断要件は嫌らしいし盛り上げる」ということは間違いだ; int5 -> int6: 「「嫌らしいししかも盛り上げる」ということは成り立たない」物はある; int6 & fact24 -> int7: あの基本ファイルは青黒くない; int4 & int7 -> int8: 「あの基本ファイルはホルモンである一方で結び付き易くない」ということは成り立つということはない; fact22 & int8 -> int9: あの重しはスネイプ城である; int3 & int9 -> int10: あの重しは乾き切る; int2 & int10 -> int11: あの重しは受傷だということはない; int1 & int11 -> int12: あの重しは焦げ臭いがしかし柔らかくない; int12 -> int13: 「焦げ臭いが柔らかいということはない」ものはある; int13 & fact16 -> int14: あの族は名高いということはない; fact21 & int14 -> int15: その猖獗は許し難しかもしくはそれは浅ましいかもしくは両方ともだ;
$facts$ = fact1: 仮にあの別口が許し難しとすればこのオペラ劇場は許し難し fact2: このオペラ劇場は御めでたいけれど反米でない fact3: 焦げ臭いものが柔らかいということはないとするとあの族は名高くない fact4: もしなにかは青黒くないとしたら「ホルモンだししかもそれは結び付き易くない」ということは誤りだ fact5: もし仮にこのオペラ劇場は御めでたいけど反米でないとすれば「許し難くない」ということは成り立つ fact6: 嫌らしいし盛り上げるというものはない fact7: この異郷は反米であるということはない fact8: もし「あの基本ファイルはホルモンだが結び付き易いということはない」ということは確かでないとしたらあの重しはスネイプ城である fact9: 仮にその猖獗が許し難しならばあの別口は許し難し fact10: もし仮にとあるものは受傷でないとするとそれは焦げ臭いけれど柔らかくない fact11: もし仮に「あの族は名高くない」ということは成り立つとすればその猖獗は許し難しかもしくは浅ましいかもしくは両方だ fact12: もし「「「嫌らしいしさらに盛り上げる」ということは確かだ」ということは成り立たない」ものはあるとしたら「あの基本ファイルは青黒くない」ということは真実である fact13: もしこのオペラ劇場は建議するがしかし許し難くないとするとそれは大奥女中達でない fact14: ある物が乾き切るとするとそれは受傷でない fact15: 仮になんらかの物はスネイプ城であるとすれば乾き切る ; $hypothesis$ = このオペラ劇場は許し難し ; $proof$ = 
fact5 & fact2 -> hypothesis; __DISPROVED__
事実1: 仮にあの別口が許し難しとすればこのオペラ劇場は許し難し
事実2: このオペラ劇場は御めでたいけれど反米でない
事実3: 焦げ臭いものが柔らかいということはないとするとあの族は名高くない
事実4: もしなにかは青黒くないとしたら「ホルモンだししかもそれは結び付き易くない」ということは誤りだ
事実5: もし仮にこのオペラ劇場は御めでたいけど反米でないとすれば「許し難くない」ということは成り立つ
事実6: 嫌らしいし盛り上げるというものはない
事実7: この異郷は反米であるということはない
事実8: もし「あの基本ファイルはホルモンだが結び付き易いということはない」ということは確かでないとしたらあの重しはスネイプ城である
事実9: 仮にその猖獗が許し難しならばあの別口は許し難し
事実10: もし仮にとあるものは受傷でないとするとそれは焦げ臭いけれど柔らかくない
事実11: もし仮に「あの族は名高くない」ということは成り立つとすればその猖獗は許し難しかもしくは浅ましいかもしくは両方だ
事実12: もし「「「嫌らしいしさらに盛り上げる」ということは確かだ」ということは成り立たない」ものはあるとしたら「あの基本ファイルは青黒くない」ということは真実である
事実13: もしこのオペラ劇場は建議するがしかし許し難くないとするとそれは大奥女中達でない
事実14: ある物が乾き切るとするとそれは受傷でない
事実15: 仮になんらかの物はスネイプ城であるとすれば乾き切る

仮説: このオペラ劇場は許し難し
1. 事実5と事実2から、仮説が否定される

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