そのプラスチック製容器包装は壊れ易くない
fact1: もし仮にそのプラスチック製容器包装は防水するということはないとすると「その同盟社は壊れ易くないしそれに確保出来ない」ということは間違っている fact2: もし「この茶匙は御友人であるがしかし避妊しない」ということは事実でないならばそのプラスチック製容器包装は確保出来る fact3: もしもある物が確保出来るとするとそれは壊れ易い fact4: もしも御友人が避妊するということはないとすると話し辛い fact5: 仮にその同盟社がべたつきであるということはないとしたらそれはゲットであるししかもそれは防水する fact6: もし仮に「その同盟社は寒しないがべたつきだ」ということは成り立たないとしたらそれはべたつきでない fact7: 「その同盟社は寒しないがしかしべたつきだ」ということは成り立たない fact8: もしもこの茶匙が話し辛いが防水しないなら避妊する fact9: 仮に「この茶匙は話し辛い」ということは正しいならばこの暗殺事件は信任する fact10: 仮に「この茶匙は壊れ易い」ということは事実であるとしたらそのプラスチック製容器包装は御友人だ fact11: もしも「この暗殺事件は信任する」ということは成り立てば「その同盟社はゲットでない」ということは正しい fact12: この茶匙が避妊するならそのプラスチック製容器包装は確保出来る fact13: もし仮にこの暗殺事件がゲットであるとしたらあの愛人は信任しないかもしくは話し辛くないかもしくはどちらもである fact14: もし仮に何らかの物が信任するということはないしその上それはゲットでないとすると壊れ易いということはない
fact4 -> int1: 仮にこの茶匙が御友人であるけどそれが避妊しないとしたら話し辛い; void -> assump1: 以下のように仮定する。この茶匙は御友人である一方で避妊するということはない; int1 & assump1 -> int2: この茶匙は話し辛い; int2 & fact9 -> int3: この暗殺事件は信任する; int3 & fact11 -> int4: その同盟社はゲットでない; fact7 & fact6 -> int5: その同盟社はべたつきでない; fact5 & int5 -> int6: その同盟社はゲットであるし加えて防水する; int6 -> int7: その同盟社はゲットだ; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: 「この茶匙は御友人であるが避妊するということはない」ということは成り立つということはない; int9 & fact2 -> int10: そのプラスチック製容器包装は確保出来る; fact3 -> int11: もしもそのプラスチック製容器包装が確保出来るとしたらそれは壊れ易い; int10 & int11 -> hypothesis;
そのプラスチック製容器包装は壊れ易くない
fact15 -> int12: もしもこの暗殺事件が信任しないしさらにそれはゲットであるということはないとすると壊れ易くない;
$facts$ = fact1: もし仮にそのプラスチック製容器包装は防水するということはないとすると「その同盟社は壊れ易くないしそれに確保出来ない」ということは間違っている fact2: もし「この茶匙は御友人であるがしかし避妊しない」ということは事実でないならばそのプラスチック製容器包装は確保出来る fact3: もしもある物が確保出来るとするとそれは壊れ易い fact4: もしも御友人が避妊するということはないとすると話し辛い fact5: 仮にその同盟社がべたつきであるということはないとしたらそれはゲットであるししかもそれは防水する fact6: もし仮に「その同盟社は寒しないがべたつきだ」ということは成り立たないとしたらそれはべたつきでない fact7: 「その同盟社は寒しないがしかしべたつきだ」ということは成り立たない fact8: もしもこの茶匙が話し辛いが防水しないなら避妊する fact9: 仮に「この茶匙は話し辛い」ということは正しいならばこの暗殺事件は信任する fact10: 仮に「この茶匙は壊れ易い」ということは事実であるとしたらそのプラスチック製容器包装は御友人だ fact11: もしも「この暗殺事件は信任する」ということは成り立てば「その同盟社はゲットでない」ということは正しい fact12: この茶匙が避妊するならそのプラスチック製容器包装は確保出来る fact13: もし仮にこの暗殺事件がゲットであるとしたらあの愛人は信任しないかもしくは話し辛くないかもしくはどちらもである fact14: もし仮に何らかの物が信任するということはないしその上それはゲットでないとすると壊れ易いということはない ; $hypothesis$ = そのプラスチック製容器包装は壊れ易くない ; $proof$ = 
fact4 -> int1: 仮にこの茶匙が御友人であるけどそれが避妊しないとしたら話し辛い; void -> assump1: 以下のように仮定する。この茶匙は御友人である一方で避妊するということはない; int1 & assump1 -> int2: この茶匙は話し辛い; int2 & fact9 -> int3: この暗殺事件は信任する; int3 & fact11 -> int4: その同盟社はゲットでない; fact7 & fact6 -> int5: その同盟社はべたつきでない; fact5 & int5 -> int6: その同盟社はゲットであるし加えて防水する; int6 -> int7: その同盟社はゲットだ; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: 「この茶匙は御友人であるが避妊するということはない」ということは成り立つということはない; int9 & fact2 -> int10: そのプラスチック製容器包装は確保出来る; fact3 -> int11: もしもそのプラスチック製容器包装が確保出来るとしたらそれは壊れ易い; int10 & int11 -> hypothesis; __DISPROVED__
事実1: もし仮にそのプラスチック製容器包装は防水するということはないとすると「その同盟社は壊れ易くないしそれに確保出来ない」ということは間違っている
事実2: もし「この茶匙は御友人であるがしかし避妊しない」ということは事実でないならばそのプラスチック製容器包装は確保出来る
事実3: もしもある物が確保出来るとするとそれは壊れ易い
事実4: もしも御友人が避妊するということはないとすると話し辛い
事実5: 仮にその同盟社がべたつきであるということはないとしたらそれはゲットであるししかもそれは防水する
事実6: もし仮に「その同盟社は寒しないがべたつきだ」ということは成り立たないとしたらそれはべたつきでない
事実7: 「その同盟社は寒しないがしかしべたつきだ」ということは成り立たない
事実8: もしもこの茶匙が話し辛いが防水しないなら避妊する
事実9: 仮に「この茶匙は話し辛い」ということは正しいならばこの暗殺事件は信任する
事実10: 仮に「この茶匙は壊れ易い」ということは事実であるとしたらそのプラスチック製容器包装は御友人だ
事実11: もしも「この暗殺事件は信任する」ということは成り立てば「その同盟社はゲットでない」ということは正しい
事実12: この茶匙が避妊するならそのプラスチック製容器包装は確保出来る
事実13: もし仮にこの暗殺事件がゲットであるとしたらあの愛人は信任しないかもしくは話し辛くないかもしくはどちらもである
事実14: もし仮に何らかの物が信任するということはないしその上それはゲットでないとすると壊れ易いということはない

仮説: そのプラスチック製容器包装は壊れ易くない
1. 事実4から、推論1: "仮にこの茶匙が御友人であるけどそれが避妊しないとしたら話し辛い"が導かれる
2. 仮定1: 以下のように仮定する。この茶匙は御友人である一方で避妊するということはない
3. 推論1と仮定1から、推論2: "この茶匙は話し辛い"が導かれる
4. 推論2と事実9から、推論3: "この暗殺事件は信任する"が導かれる
5. 推論3と事実11から、推論4: "その同盟社はゲットでない"が導かれる
6. 事実7と事実6から、推論5: "その同盟社はべたつきでない"が導かれる
7. 事実5と推論5から、推論6: "その同盟社はゲットであるし加えて防水する"が導かれる
8. 推論6から、推論7: "その同盟社はゲットだ"が導かれる
9. 推論4と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "「この茶匙は御友人であるが避妊するということはない」ということは成り立つということはない"が導かれる
11. 推論9と事実2から、推論10: "そのプラスチック製容器包装は確保出来る"が導かれる
12. 事実3から、推論11: "もしもそのプラスチック製容器包装が確保出来るとしたらそれは壊れ易い"が導かれる
13. 推論10と推論11から、仮説が否定される

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