「この工業規格は深刻化するけどそれはカントリーハウスでない」ということは嘘である
fact1: 仮にあのバイナリファイルが山崩れであるかあるいはそれが探し始めないとしたらあの百科全書は山崩れでない fact2: もし何かはブローであるなら「それは斜面培地だということはないししかも山崩れでない」ということは事実と異なる fact3: どれもこれもは掃き清めるということはないしそれは制癌剤だ fact4: あの百科全書は斜面培地だ fact5: 「繋がり易い」ものはある fact6: もしその選択状況は暗号化パスワードでないとすれば「あのＢＡＤは恐れ多くないが関与出来る」ということは成り立たない fact7: もし仮になにかは山崩れだということはないならそれは斜面培地だ fact8: もし仮にこの初級が抱けば仕分けないしかつ暗号化パスワードでない fact9: もしもなにかは掃き清めないならば抱くしおまけにそれはずんぐりする fact10: 「この新相は斜面培地だ」ということは成り立つ fact11: もし山崩れがあるならばあの工業規格は深刻化するがカントリーハウスでない fact12: 仮にこの初級が暗号化パスワードでないならその選択状況は暗号化パスワードでない fact13: 山崩れは斜面培地だ一方でちょろくない fact14: あの百科全書は斜面培地だしそれに山崩れである fact15: なにがしかのものがブローでないとするとあのバイナリファイルは山崩れであるかまたはそれは探し始めるということはない fact16: この工業規格は深刻化する fact17: 「あのＢＡＤはブローであるがしかし天狗らしくない」ということは事実と異なるとすればこの梻はブローであるということはない fact18: あの百科全書は本作りであるしカントリーハウスだ fact19: あの百科全書が斜面培地であるとしたらこの工業規格は斜面培地である fact20: もし「山崩れである」物があればこの工業規格は深刻化する fact21: もしとある物は考究しないとすると「それはブローだ一方で天狗らしいということはない」ということは間違いだ
fact14 -> int1: あの百科全書は山崩れだ; int1 -> int2: 何かは山崩れだ; int2 & fact11 -> hypothesis;
fact14 -> int1: {B}{a}; int1 -> int2: (Ex): {B}x; int2 & fact11 -> hypothesis;
「この工業規格は深刻化するけどカントリーハウスでない」ということは成り立たない
fact29 -> int3: もしもあのＢＡＤは考究しないとしたら「ブローであるけれど天狗らしくない」ということは嘘だ; fact25 -> int4: もしあのＤ先生が掃き清めないとすれば抱くしずんぐりする; fact24 -> int5: あの三十五度線は掃き清めないけれど制癌剤である; int5 -> int6: あの三十五度線は掃き清めない; int6 -> int7: 全ての物は掃き清めない; int7 -> int8: あのＤ先生は掃き清めない; int4 & int8 -> int9: あのＤ先生は抱くしそれにずんぐりする; int9 -> int10: 何もかもは抱くしおまけにずんぐりする; int10 -> int11: この初級は抱くしおまけにずんぐりする; int11 -> int12: この初級は抱く; fact30 & int12 -> int13: この初級は仕分けないしさらに暗号化パスワードでない; int13 -> int14: この初級は暗号化パスワードでない; fact26 & int14 -> int15: その選択状況は暗号化パスワードでない; int15 & fact22 -> int16: 「あのＢＡＤは恐れ多くないけれど関与出来る」ということは成り立つということはない; fact28 -> int17: もしもあの百科全書は山崩れでないとすると斜面培地である;
$facts$ = fact1: 仮にあのバイナリファイルが山崩れであるかあるいはそれが探し始めないとしたらあの百科全書は山崩れでない fact2: もし何かはブローであるなら「それは斜面培地だということはないししかも山崩れでない」ということは事実と異なる fact3: どれもこれもは掃き清めるということはないしそれは制癌剤だ fact4: あの百科全書は斜面培地だ fact5: 「繋がり易い」ものはある fact6: もしその選択状況は暗号化パスワードでないとすれば「あのＢＡＤは恐れ多くないが関与出来る」ということは成り立たない fact7: もし仮になにかは山崩れだということはないならそれは斜面培地だ fact8: もし仮にこの初級が抱けば仕分けないしかつ暗号化パスワードでない fact9: もしもなにかは掃き清めないならば抱くしおまけにそれはずんぐりする fact10: 「この新相は斜面培地だ」ということは成り立つ fact11: もし山崩れがあるならばあの工業規格は深刻化するがカントリーハウスでない fact12: 仮にこの初級が暗号化パスワードでないならその選択状況は暗号化パスワードでない fact13: 山崩れは斜面培地だ一方でちょろくない fact14: あの百科全書は斜面培地だしそれに山崩れである fact15: なにがしかのものがブローでないとするとあのバイナリファイルは山崩れであるかまたはそれは探し始めるということはない fact16: この工業規格は深刻化する fact17: 「あのＢＡＤはブローであるがしかし天狗らしくない」ということは事実と異なるとすればこの梻はブローであるということはない fact18: あの百科全書は本作りであるしカントリーハウスだ fact19: あの百科全書が斜面培地であるとしたらこの工業規格は斜面培地である fact20: もし「山崩れである」物があればこの工業規格は深刻化する fact21: もしとある物は考究しないとすると「それはブローだ一方で天狗らしいということはない」ということは間違いだ ; $hypothesis$ = 「この工業規格は深刻化するけどそれはカントリーハウスでない」ということは嘘である ; $proof$ = 
fact14 -> int1: あの百科全書は山崩れだ; int1 -> int2: 何かは山崩れだ; int2 & fact11 -> hypothesis; __DISPROVED__
事実1: 仮にあのバイナリファイルが山崩れであるかあるいはそれが探し始めないとしたらあの百科全書は山崩れでない
事実2: もし何かはブローであるなら「それは斜面培地だということはないししかも山崩れでない」ということは事実と異なる
事実3: どれもこれもは掃き清めるということはないしそれは制癌剤だ
事実4: あの百科全書は斜面培地だ
事実5: 「繋がり易い」ものはある
事実6: もしその選択状況は暗号化パスワードでないとすれば「あのＢＡＤは恐れ多くないが関与出来る」ということは成り立たない
事実7: もし仮になにかは山崩れだということはないならそれは斜面培地だ
事実8: もし仮にこの初級が抱けば仕分けないしかつ暗号化パスワードでない
事実9: もしもなにかは掃き清めないならば抱くしおまけにそれはずんぐりする
事実10: 「この新相は斜面培地だ」ということは成り立つ
事実11: もし山崩れがあるならばあの工業規格は深刻化するがカントリーハウスでない
事実12: 仮にこの初級が暗号化パスワードでないならその選択状況は暗号化パスワードでない
事実13: 山崩れは斜面培地だ一方でちょろくない
事実14: あの百科全書は斜面培地だしそれに山崩れである
事実15: なにがしかのものがブローでないとするとあのバイナリファイルは山崩れであるかまたはそれは探し始めるということはない
事実16: この工業規格は深刻化する
事実17: 「あのＢＡＤはブローであるがしかし天狗らしくない」ということは事実と異なるとすればこの梻はブローであるということはない
事実18: あの百科全書は本作りであるしカントリーハウスだ
事実19: あの百科全書が斜面培地であるとしたらこの工業規格は斜面培地である
事実20: もし「山崩れである」物があればこの工業規格は深刻化する
事実21: もしとある物は考究しないとすると「それはブローだ一方で天狗らしいということはない」ということは間違いだ

仮説: 「この工業規格は深刻化するけどそれはカントリーハウスでない」ということは嘘である
1. 事実14から、推論1: "あの百科全書は山崩れだ"が導かれる
2. 推論1から、推論2: "何かは山崩れだ"が導かれる
3. 推論2と事実11から、仮説が否定される

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