この表御殿は蒸し暑い
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: その役割・機能が貧しいということはないが酸いとしたらこの表御殿は酸くない
fact24 -> int1: 仮にあの決定問題が見せ掛けないならそれは水稲農林である; fact19 & fact13 -> int2: あの決定問題は見せ掛けない; int1 & int2 -> int3: あの決定問題は水稲農林だ; int3 -> int4: 「水稲農林である」物はある; int4 & fact15 -> int5: この表御殿は片持ち梁だがしかしそれは呪わしくない; int5 & fact5 -> int6: この表御殿は登山家らしくない; fact4 & fact28 -> int7: この表御殿は酸くない; int6 & int7 -> int8: この表御殿は登山家らしくないししかも酸くない; fact20 -> int9: もしこの表御殿が登山家らしくないしその上酸くないとしたら蒸し暑くない; int8 & int9 -> hypothesis;
この表御殿は蒸し暑い
fact38 -> int10: 仮にこの表御殿が見せ掛けるしそれは水稲農林であるとすると呪わしくない; fact36 -> int11: その役割・機能が登山家らしいならそれは片持ち梁である; fact34 -> int12: 「「その役割モデルは抜き差しするしそれは遅れ易い」ということは本当である」ということは嘘だとしたらそれは遅れ易くない; fact41 & fact39 -> int13: 「その飯借は関係し合うかあるいは地区予選でないかもしくは両方ともだ」ということは間違いだ; fact33 & int13 -> int14: その飯借は上り易くない; fact40 -> int15: 「その飯借は会計処理しない」ということは本当であるとしたらそれは美味しくてぱちぱちする; fact37 -> int16: その飯借は会計処理しない; int15 & int16 -> int17: その飯借は美味しいしそれはぱちぱちする; int17 -> int18: その飯借は美味しい; int14 & int18 -> int19: その飯借は上り易くない一方でそれは美味しい; int19 -> int20: なにかは上り易くないけれどそれは美味しい; int20 & fact30 -> int21: あの深部腱反射は貧しくない; fact29 & int21 -> int22: この四人組は酸くないし展示であるということはない; int22 -> int23: この四人組は酸くない; fact31 & int23 -> int24: 「その役割モデルは抜き差しするし遅れ易い」ということは成り立つということはない; int12 & int24 -> int25: その役割モデルは遅れ易くない; int25 -> int26: あるものは遅れ易いということはない; int26 & fact32 -> int27: 「そのフォース・ストリートは登山家らしくない一方で遅れ易い」ということは事実でない; fact35 & int27 -> int28: その役割・機能は登山家らしい; int11 & int28 -> int29: その役割・機能は片持ち梁だ; int29 -> int30: 「片持ち梁である」物はある;
$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$ = 
fact24 -> int1: 仮にあの決定問題が見せ掛けないならそれは水稲農林である; fact19 & fact13 -> int2: あの決定問題は見せ掛けない; int1 & int2 -> int3: あの決定問題は水稲農林だ; int3 -> int4: 「水稲農林である」物はある; int4 & fact15 -> int5: この表御殿は片持ち梁だがしかしそれは呪わしくない; int5 & fact5 -> int6: この表御殿は登山家らしくない; fact4 & fact28 -> int7: この表御殿は酸くない; int6 & int7 -> int8: この表御殿は登山家らしくないししかも酸くない; fact20 -> int9: もしこの表御殿が登山家らしくないしその上酸くないとしたら蒸し暑くない; int8 & int9 -> hypothesis; __DISPROVED__
事実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. 事実24から、推論1: "仮にあの決定問題が見せ掛けないならそれは水稲農林である"が導かれる
2. 事実19と事実13から、推論2: "あの決定問題は見せ掛けない"が導かれる
3. 推論1と推論2から、推論3: "あの決定問題は水稲農林だ"が導かれる
4. 推論3から、推論4: "「水稲農林である」物はある"が導かれる
5. 推論4と事実15から、推論5: "この表御殿は片持ち梁だがしかしそれは呪わしくない"が導かれる
6. 推論5と事実5から、推論6: "この表御殿は登山家らしくない"が導かれる
7. 事実4と事実28から、推論7: "この表御殿は酸くない"が導かれる
8. 推論6と推論7から、推論8: "この表御殿は登山家らしくないししかも酸くない"が導かれる
9. 事実20から、推論9: "もしこの表御殿が登山家らしくないしその上酸くないとしたら蒸し暑くない"が導かれる
10. 推論8と推論9から、仮説が否定される

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