そのヘイル・ハウスは果たせない
fact1: 「そのヘイル・ハウスは可笑しいか重い」ということは本当だ fact2: そのヘイル・ハウスは前甲板である fact3: そのヘイル・ハウスは覚え易い fact4: その適時は焼け死ぬしさらに心深し fact5: 「そのヘイル・ハウスは焼け死なないがしかしそれは遣り易い」ということは事実であるとすると申し付けない fact6: この思索家は第一次大戦でその上遣り易い fact7: そのヘイル・ハウスは焼け死ななくて遣り易いということはない fact8: 「そのヘイル・ハウスは理解し辛くない一方で降水である」ということは事実と異なる fact9: もし仮にそのヘイル・ハウスは果たせるということはないしかつ似付かわしくらないならそれは貢がない fact10: そのヘイル・ハウスは反応し始める fact11: もし仮にそのヘイル・ハウスは焼け死なないしおまけに遣り易くないとすれば申し付けない fact12: 「この狭心はエリート階級でない」ということは正しい fact13: もしあの監査範囲が明け放すとしたらそのヘイル・ハウスは果たせる fact14: もし仮に切り難いものがエリート階級だとすれば雇われマダムでない fact15: 「もし仮にそのヘイル・ハウスは申し付けないなら「そのヘイル・ハウスは明け放すがしかしエリート階級だということはない」ということは真実でない」ということは正しい fact16: もしもそのヘイル・ハウスは申し付けないとすれば「明け放さなくてまたエリート階級である」ということは成り立たない fact17: 仮にそのヘイル・ハウスが可笑しくないかそれは重いか両方であるとすればそれは果たせない fact18: もしもそのヘイル・ハウスは反応し始めるしそれにタールエポキシエマルジョン塗料であるとすると可笑しくない fact19: あの作劇例は天魔でないかあるいは膨らますか両方である fact20: そのヘイル・ハウスは第一次大戦でなくてかつ嘘っぽいということはない fact21: もしも「そのヘイル・ハウスは申し付けない」ということは確かであるならば「明け放さなくて更にエリート階級でない」ということは成り立たない fact22: このタブローは焼け死なない fact23: もし「そのヘイル・ハウスは明け放さなくてエリート階級でない」ということは間違っていればタールエポキシエマルジョン塗料である fact24: 「あの我先は塩っ辛いけど反応し始めない」ということは真実でない fact25: あの事業主体は反応し始める fact26: 「そのヘイル・ハウスは明け放すがしかしエリート階級でない」ということは偽である fact27: もし「この段差部は可笑しくない」ということは成り立つとすると「それはタールエポキシエマルジョン塗料だし更に反応し始める」ということは嘘である fact28: もし仮に「そのヘイル・ハウスは反応し始めるということはなくてそれは対称でない」ということは嘘であるとするとそれは貢ぐ
fact11 & fact7 -> int1: 「そのヘイル・ハウスは申し付けない」ということは確かだ; int1 & fact21 -> int2: 「そのヘイル・ハウスは明け放さなくてしかもそれはエリート階級でない」ということは偽である; int2 & fact23 -> int3: そのヘイル・ハウスはタールエポキシエマルジョン塗料である; int3 & fact10 -> int4: そのヘイル・ハウスは反応し始めるしそれにタールエポキシエマルジョン塗料である; int4 & fact18 -> int5: そのヘイル・ハウスは可笑しくない; int5 -> int6: そのヘイル・ハウスは可笑しいということはないかもしくは重い; int6 & fact17 -> hypothesis;
仮にそのヘイル・ハウスが切り難いしエリート階級だとするとそれは雇われマダムでない
fact29 -> hypothesis;
$facts$ = fact1: 「そのヘイル・ハウスは可笑しいか重い」ということは本当だ fact2: そのヘイル・ハウスは前甲板である fact3: そのヘイル・ハウスは覚え易い fact4: その適時は焼け死ぬしさらに心深し fact5: 「そのヘイル・ハウスは焼け死なないがしかしそれは遣り易い」ということは事実であるとすると申し付けない fact6: この思索家は第一次大戦でその上遣り易い fact7: そのヘイル・ハウスは焼け死ななくて遣り易いということはない fact8: 「そのヘイル・ハウスは理解し辛くない一方で降水である」ということは事実と異なる fact9: もし仮にそのヘイル・ハウスは果たせるということはないしかつ似付かわしくらないならそれは貢がない fact10: そのヘイル・ハウスは反応し始める fact11: もし仮にそのヘイル・ハウスは焼け死なないしおまけに遣り易くないとすれば申し付けない fact12: 「この狭心はエリート階級でない」ということは正しい fact13: もしあの監査範囲が明け放すとしたらそのヘイル・ハウスは果たせる fact14: もし仮に切り難いものがエリート階級だとすれば雇われマダムでない fact15: 「もし仮にそのヘイル・ハウスは申し付けないなら「そのヘイル・ハウスは明け放すがしかしエリート階級だということはない」ということは真実でない」ということは正しい fact16: もしもそのヘイル・ハウスは申し付けないとすれば「明け放さなくてまたエリート階級である」ということは成り立たない fact17: 仮にそのヘイル・ハウスが可笑しくないかそれは重いか両方であるとすればそれは果たせない fact18: もしもそのヘイル・ハウスは反応し始めるしそれにタールエポキシエマルジョン塗料であるとすると可笑しくない fact19: あの作劇例は天魔でないかあるいは膨らますか両方である fact20: そのヘイル・ハウスは第一次大戦でなくてかつ嘘っぽいということはない fact21: もしも「そのヘイル・ハウスは申し付けない」ということは確かであるならば「明け放さなくて更にエリート階級でない」ということは成り立たない fact22: このタブローは焼け死なない fact23: もし「そのヘイル・ハウスは明け放さなくてエリート階級でない」ということは間違っていればタールエポキシエマルジョン塗料である fact24: 「あの我先は塩っ辛いけど反応し始めない」ということは真実でない fact25: あの事業主体は反応し始める fact26: 「そのヘイル・ハウスは明け放すがしかしエリート階級でない」ということは偽である fact27: もし「この段差部は可笑しくない」ということは成り立つとすると「それはタールエポキシエマルジョン塗料だし更に反応し始める」ということは嘘である fact28: もし仮に「そのヘイル・ハウスは反応し始めるということはなくてそれは対称でない」ということは嘘であるとするとそれは貢ぐ ; $hypothesis$ = そのヘイル・ハウスは果たせない ; $proof$ = 
fact11 & fact7 -> int1: 「そのヘイル・ハウスは申し付けない」ということは確かだ; int1 & fact21 -> int2: 「そのヘイル・ハウスは明け放さなくてしかもそれはエリート階級でない」ということは偽である; int2 & fact23 -> int3: そのヘイル・ハウスはタールエポキシエマルジョン塗料である; int3 & fact10 -> int4: そのヘイル・ハウスは反応し始めるしそれにタールエポキシエマルジョン塗料である; int4 & fact18 -> int5: そのヘイル・ハウスは可笑しくない; int5 -> int6: そのヘイル・ハウスは可笑しいということはないかもしくは重い; int6 & fact17 -> hypothesis; __PROVED__
事実1: 「そのヘイル・ハウスは可笑しいか重い」ということは本当だ
事実2: そのヘイル・ハウスは前甲板である
事実3: そのヘイル・ハウスは覚え易い
事実4: その適時は焼け死ぬしさらに心深し
事実5: 「そのヘイル・ハウスは焼け死なないがしかしそれは遣り易い」ということは事実であるとすると申し付けない
事実6: この思索家は第一次大戦でその上遣り易い
事実7: そのヘイル・ハウスは焼け死ななくて遣り易いということはない
事実8: 「そのヘイル・ハウスは理解し辛くない一方で降水である」ということは事実と異なる
事実9: もし仮にそのヘイル・ハウスは果たせるということはないしかつ似付かわしくらないならそれは貢がない
事実10: そのヘイル・ハウスは反応し始める
事実11: もし仮にそのヘイル・ハウスは焼け死なないしおまけに遣り易くないとすれば申し付けない
事実12: 「この狭心はエリート階級でない」ということは正しい
事実13: もしあの監査範囲が明け放すとしたらそのヘイル・ハウスは果たせる
事実14: もし仮に切り難いものがエリート階級だとすれば雇われマダムでない
事実15: 「もし仮にそのヘイル・ハウスは申し付けないなら「そのヘイル・ハウスは明け放すがしかしエリート階級だということはない」ということは真実でない」ということは正しい
事実16: もしもそのヘイル・ハウスは申し付けないとすれば「明け放さなくてまたエリート階級である」ということは成り立たない
事実17: 仮にそのヘイル・ハウスが可笑しくないかそれは重いか両方であるとすればそれは果たせない
事実18: もしもそのヘイル・ハウスは反応し始めるしそれにタールエポキシエマルジョン塗料であるとすると可笑しくない
事実19: あの作劇例は天魔でないかあるいは膨らますか両方である
事実20: そのヘイル・ハウスは第一次大戦でなくてかつ嘘っぽいということはない
事実21: もしも「そのヘイル・ハウスは申し付けない」ということは確かであるならば「明け放さなくて更にエリート階級でない」ということは成り立たない
事実22: このタブローは焼け死なない
事実23: もし「そのヘイル・ハウスは明け放さなくてエリート階級でない」ということは間違っていればタールエポキシエマルジョン塗料である
事実24: 「あの我先は塩っ辛いけど反応し始めない」ということは真実でない
事実25: あの事業主体は反応し始める
事実26: 「そのヘイル・ハウスは明け放すがしかしエリート階級でない」ということは偽である
事実27: もし「この段差部は可笑しくない」ということは成り立つとすると「それはタールエポキシエマルジョン塗料だし更に反応し始める」ということは嘘である
事実28: もし仮に「そのヘイル・ハウスは反応し始めるということはなくてそれは対称でない」ということは嘘であるとするとそれは貢ぐ

仮説: そのヘイル・ハウスは果たせない
1. 事実11と事実7から、推論1: "「そのヘイル・ハウスは申し付けない」ということは確かだ"が導かれる
2. 推論1と事実21から、推論2: "「そのヘイル・ハウスは明け放さなくてしかもそれはエリート階級でない」ということは偽である"が導かれる
3. 推論2と事実23から、推論3: "そのヘイル・ハウスはタールエポキシエマルジョン塗料である"が導かれる
4. 推論3と事実10から、推論4: "そのヘイル・ハウスは反応し始めるしそれにタールエポキシエマルジョン塗料である"が導かれる
5. 推論4と事実18から、推論5: "そのヘイル・ハウスは可笑しくない"が導かれる
6. 推論5から、推論6: "そのヘイル・ハウスは可笑しいということはないかもしくは重い"が導かれる
7. 推論6と事実17から、仮説が導かれる

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