「このかかあは捨て置かないかまたは笑い飛ばさないかもしくは両方である」ということは間違いだ
fact1: 「仮にあの社会環境が有機ＳＩＭＳでないならばあの社会環境は大幅減だ」ということは成り立つ fact2: あの社会環境はすんごい fact3: このかかあは捨て置かないかもしくは笑い飛ばすかあるいは両方だ fact4: もしも「このアパートメントは大幅減でない」ということは成り立つならこのかかあは捨て置かないかまたは笑い飛ばすかどちらもだ fact5: もし仮にあの社会環境が儚いし有機ＳＩＭＳであるとするとこのアパートメントは大幅減だということはない fact6: この動議は傷付け易い fact7: もしこのアパートメントが大幅減だということはないとすればあのかかあは捨て置くということはないかもしくはそれは笑い飛ばさないかもしくはどちらもだ fact8: このアパートメントが大幅減でないとすればあのかかあは捨て置くかあるいは笑い飛ばさない fact9: もし仮に「繋がり易い」物があるとしたらあの社会環境はすんごい fact10: 「「繋がり易い」ということは真実な」ものはある fact11: もし仮に何かは結合し易いなら傷付け易い fact12: もし仮にこのアパートメントが結合し易くない一方で有機ＳＩＭＳであるとすればあの社会環境は結合し易い fact13: 結合し易くないものは果てし無い fact14: 全ては傷付け易いが結合し易くない fact15: あの社会環境が結合し易いとすればこのグラタンは結合し易い fact16: 「「繋がり易い」ということは成り立つ」ものがあるとすればあの社会環境はすんごいし儚い fact17: 仮にこの動議が果てし無いならばあの社会環境は有機ＳＩＭＳだ fact18: 全ての物は傷付け易い fact19: このかかあは捨て置くかもしくはそれは笑い飛ばさない
fact14 -> int1: この動議は傷付け易い一方で結合し易くない; int1 -> int2: この動議は結合し易くない; fact13 -> int3: もし仮にこの動議は結合し易くないならそれは果てし無い; int2 & int3 -> int4: この動議は果てし無い; int4 & fact17 -> int5: あの社会環境は有機ＳＩＭＳだ; fact16 & fact10 -> int6: あの社会環境はすんごいしそれは儚い; int6 -> int7: あの社会環境は儚い; int5 & int7 -> int8: あの社会環境は儚い有機ｓＩＭｓだ; int8 & fact5 -> int9: このアパートメントは大幅減でない; int9 & fact7 -> hypothesis;
「このグラタンは傷付け易い」ということは成り立つ
fact21 -> int10: 仮にこのグラタンが結合し易いならばそれは傷付け易い;
$facts$ = fact1: 「仮にあの社会環境が有機ＳＩＭＳでないならばあの社会環境は大幅減だ」ということは成り立つ fact2: あの社会環境はすんごい fact3: このかかあは捨て置かないかもしくは笑い飛ばすかあるいは両方だ fact4: もしも「このアパートメントは大幅減でない」ということは成り立つならこのかかあは捨て置かないかまたは笑い飛ばすかどちらもだ fact5: もし仮にあの社会環境が儚いし有機ＳＩＭＳであるとするとこのアパートメントは大幅減だということはない fact6: この動議は傷付け易い fact7: もしこのアパートメントが大幅減だということはないとすればあのかかあは捨て置くということはないかもしくはそれは笑い飛ばさないかもしくはどちらもだ fact8: このアパートメントが大幅減でないとすればあのかかあは捨て置くかあるいは笑い飛ばさない fact9: もし仮に「繋がり易い」物があるとしたらあの社会環境はすんごい fact10: 「「繋がり易い」ということは真実な」ものはある fact11: もし仮に何かは結合し易いなら傷付け易い fact12: もし仮にこのアパートメントが結合し易くない一方で有機ＳＩＭＳであるとすればあの社会環境は結合し易い fact13: 結合し易くないものは果てし無い fact14: 全ては傷付け易いが結合し易くない fact15: あの社会環境が結合し易いとすればこのグラタンは結合し易い fact16: 「「繋がり易い」ということは成り立つ」ものがあるとすればあの社会環境はすんごいし儚い fact17: 仮にこの動議が果てし無いならばあの社会環境は有機ＳＩＭＳだ fact18: 全ての物は傷付け易い fact19: このかかあは捨て置くかもしくはそれは笑い飛ばさない ; $hypothesis$ = 「このかかあは捨て置かないかまたは笑い飛ばさないかもしくは両方である」ということは間違いだ ; $proof$ = 
fact14 -> int1: この動議は傷付け易い一方で結合し易くない; int1 -> int2: この動議は結合し易くない; fact13 -> int3: もし仮にこの動議は結合し易くないならそれは果てし無い; int2 & int3 -> int4: この動議は果てし無い; int4 & fact17 -> int5: あの社会環境は有機ＳＩＭＳだ; fact16 & fact10 -> int6: あの社会環境はすんごいしそれは儚い; int6 -> int7: あの社会環境は儚い; int5 & int7 -> int8: あの社会環境は儚い有機ｓＩＭｓだ; int8 & fact5 -> int9: このアパートメントは大幅減でない; int9 & fact7 -> hypothesis; __DISPROVED__
事実1: 「仮にあの社会環境が有機ＳＩＭＳでないならばあの社会環境は大幅減だ」ということは成り立つ
事実2: あの社会環境はすんごい
事実3: このかかあは捨て置かないかもしくは笑い飛ばすかあるいは両方だ
事実4: もしも「このアパートメントは大幅減でない」ということは成り立つならこのかかあは捨て置かないかまたは笑い飛ばすかどちらもだ
事実5: もし仮にあの社会環境が儚いし有機ＳＩＭＳであるとするとこのアパートメントは大幅減だということはない
事実6: この動議は傷付け易い
事実7: もしこのアパートメントが大幅減だということはないとすればあのかかあは捨て置くということはないかもしくはそれは笑い飛ばさないかもしくはどちらもだ
事実8: このアパートメントが大幅減でないとすればあのかかあは捨て置くかあるいは笑い飛ばさない
事実9: もし仮に「繋がり易い」物があるとしたらあの社会環境はすんごい
事実10: 「「繋がり易い」ということは真実な」ものはある
事実11: もし仮に何かは結合し易いなら傷付け易い
事実12: もし仮にこのアパートメントが結合し易くない一方で有機ＳＩＭＳであるとすればあの社会環境は結合し易い
事実13: 結合し易くないものは果てし無い
事実14: 全ては傷付け易いが結合し易くない
事実15: あの社会環境が結合し易いとすればこのグラタンは結合し易い
事実16: 「「繋がり易い」ということは成り立つ」ものがあるとすればあの社会環境はすんごいし儚い
事実17: 仮にこの動議が果てし無いならばあの社会環境は有機ＳＩＭＳだ
事実18: 全ての物は傷付け易い
事実19: このかかあは捨て置くかもしくはそれは笑い飛ばさない

仮説: 「このかかあは捨て置かないかまたは笑い飛ばさないかもしくは両方である」ということは間違いだ
1. 事実14から、推論1: "この動議は傷付け易い一方で結合し易くない"が導かれる
2. 推論1から、推論2: "この動議は結合し易くない"が導かれる
3. 事実13から、推論3: "もし仮にこの動議は結合し易くないならそれは果てし無い"が導かれる
4. 推論2と推論3から、推論4: "この動議は果てし無い"が導かれる
5. 推論4と事実17から、推論5: "あの社会環境は有機ＳＩＭＳだ"が導かれる
6. 事実16と事実10から、推論6: "あの社会環境はすんごいしそれは儚い"が導かれる
7. 推論6から、推論7: "あの社会環境は儚い"が導かれる
8. 推論5と推論7から、推論8: "あの社会環境は儚い有機ｓＩＭｓだ"が導かれる
9. 推論8と事実5から、推論9: "このアパートメントは大幅減でない"が導かれる
10. 推論9と事実7から、仮説が否定される

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