この辛は自然らしくない
fact1: もし仮にその配分が分かり得るならその弔意は褒める fact2: 「その配分は後ろ暗いし更に薄汚れる」ということは嘘である fact3: 仮にその配分は熱エネルギーであるし置き易いとしたら分かり得る fact4: もしその弔意が立て難くないならその配分は立て難くない fact5: もしその配分が熱エネルギーでないけれどそれが置き易いとしたらそれは分かり得る fact6: その弔意は実演しないなら「その配分は立て難いということはない」ということは事実だ fact7: 何らかの物が同伴しないならば熱エネルギーでないしそれは置き易い fact8: その弔意は立て難くない fact9: 仮にその弔意が褒めれば立て難くない fact10: 仮にその弔意が詩句でないとすればこの辛は自然らしい fact11: もし仮に何かは同伴しないならば「「それは熱エネルギーである」ということは事実だ」ということは間違っている fact12: あらゆる物は修学旅行でない fact13: 「何らかの物が置き易いならばそれは自然らしくない」ということは事実である fact14: もし「なにかは褒めるがしかしそれは詩句でない」ということは本当でないとしたら分かり得ない fact15: 「その配分は後ろ暗くないが薄汚れる」ということは嘘である fact16: ある物が修学旅行だということはないとすると実演するということはないかもしくは立て難くないかもしくは両方ともだ fact17: もし仮に「「その配分は後ろ暗くないけどそれは薄汚れる」ということは成り立たない」ということは正しいなら同伴しない fact18: もしもなにがしかのものは熱エネルギーであるとすればそれは後ろ暗くない fact19: もしもこの辛が置き易いならばその配分は自然らしい fact20: その配分は熱エネルギーであるということはない fact21: もしなにがしかの物が褒めればそれは詩句でないし立て難くない fact22: もしもこの辛が自然らしくないならそれは詩句でないしかつ分かり得る fact23: 仮に「その配分は同伴しない」ということは成り立つならそれは熱エネルギーでない
fact17 & fact15 -> int1: 「その配分は同伴するということはない」ということは真実である; fact7 -> int2: 仮にその配分は同伴しないとすれば「熱エネルギーでないしまたそれは置き易い」ということは正しい; int1 & int2 -> int3: 「その配分は熱エネルギーでない一方でそれは置き易い」ということは事実だ; int3 & fact5 -> int4: その配分は分かり得る; int4 & fact1 -> int5: その弔意は褒める; fact21 -> int6: もしもその弔意が褒めるとしたら詩句だということはないし加えて立て難くない; int5 & int6 -> int7: その弔意は詩句でなくて立て難いということはない; int7 -> int8: 「その弔意は詩句でない」ということは成り立つ; int8 & fact10 -> hypothesis;
この辛は自然らしくない
fact25 -> int9: もしこの辛が置き易いならばそれは自然らしくない; fact26 -> int10: もし仮に「その配分は褒めるがしかし詩句であるということはない」ということは間違いであるとしたら分かり得ない; fact27 -> int11: もしも「その総量は修学旅行でない」ということは成り立つとしたらそれは実演しないかまたはそれは立て難くないか両方である; fact28 -> int12: その総量は修学旅行であるということはない; int11 & int12 -> int13: その総量は実演しないか立て難くないかあるいは両方である; int13 -> int14: 全ての物は実演しないかあるいは立て難くないかあるいはどちらもだ; int14 -> int15: その弔意は実演しないかもしくはそれは立て難くないかまたは両方である; fact24 & fact29 & int15 -> int16: その配分は立て難くない;
$facts$ = fact1: もし仮にその配分が分かり得るならその弔意は褒める fact2: 「その配分は後ろ暗いし更に薄汚れる」ということは嘘である fact3: 仮にその配分は熱エネルギーであるし置き易いとしたら分かり得る fact4: もしその弔意が立て難くないならその配分は立て難くない fact5: もしその配分が熱エネルギーでないけれどそれが置き易いとしたらそれは分かり得る fact6: その弔意は実演しないなら「その配分は立て難いということはない」ということは事実だ fact7: 何らかの物が同伴しないならば熱エネルギーでないしそれは置き易い fact8: その弔意は立て難くない fact9: 仮にその弔意が褒めれば立て難くない fact10: 仮にその弔意が詩句でないとすればこの辛は自然らしい fact11: もし仮に何かは同伴しないならば「「それは熱エネルギーである」ということは事実だ」ということは間違っている fact12: あらゆる物は修学旅行でない fact13: 「何らかの物が置き易いならばそれは自然らしくない」ということは事実である fact14: もし「なにかは褒めるがしかしそれは詩句でない」ということは本当でないとしたら分かり得ない fact15: 「その配分は後ろ暗くないが薄汚れる」ということは嘘である fact16: ある物が修学旅行だということはないとすると実演するということはないかもしくは立て難くないかもしくは両方ともだ fact17: もし仮に「「その配分は後ろ暗くないけどそれは薄汚れる」ということは成り立たない」ということは正しいなら同伴しない fact18: もしもなにがしかのものは熱エネルギーであるとすればそれは後ろ暗くない fact19: もしもこの辛が置き易いならばその配分は自然らしい fact20: その配分は熱エネルギーであるということはない fact21: もしなにがしかの物が褒めればそれは詩句でないし立て難くない fact22: もしもこの辛が自然らしくないならそれは詩句でないしかつ分かり得る fact23: 仮に「その配分は同伴しない」ということは成り立つならそれは熱エネルギーでない ; $hypothesis$ = この辛は自然らしくない ; $proof$ = 
fact17 & fact15 -> int1: 「その配分は同伴するということはない」ということは真実である; fact7 -> int2: 仮にその配分は同伴しないとすれば「熱エネルギーでないしまたそれは置き易い」ということは正しい; int1 & int2 -> int3: 「その配分は熱エネルギーでない一方でそれは置き易い」ということは事実だ; int3 & fact5 -> int4: その配分は分かり得る; int4 & fact1 -> int5: その弔意は褒める; fact21 -> int6: もしもその弔意が褒めるとしたら詩句だということはないし加えて立て難くない; int5 & int6 -> int7: その弔意は詩句でなくて立て難いということはない; int7 -> int8: 「その弔意は詩句でない」ということは成り立つ; int8 & fact10 -> 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: 仮に「その配分は同伴しない」ということは成り立つならそれは熱エネルギーでない

仮説: この辛は自然らしくない
1. 事実17と事実15から、推論1: "「その配分は同伴するということはない」ということは真実である"が導かれる
2. 事実7から、推論2: "仮にその配分は同伴しないとすれば「熱エネルギーでないしまたそれは置き易い」ということは正しい"が導かれる
3. 推論1と推論2から、推論3: "「その配分は熱エネルギーでない一方でそれは置き易い」ということは事実だ"が導かれる
4. 推論3と事実5から、推論4: "その配分は分かり得る"が導かれる
5. 推論4と事実1から、推論5: "その弔意は褒める"が導かれる
6. 事実21から、推論6: "もしもその弔意が褒めるとしたら詩句だということはないし加えて立て難くない"が導かれる
7. 推論5と推論6から、推論7: "その弔意は詩句でなくて立て難いということはない"が導かれる
8. 推論7から、推論8: "「その弔意は詩句でない」ということは成り立つ"が導かれる
9. 推論8と事実10から、仮説が否定される

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