「もしもこの第四十章は阪急線大宮駅下車徒歩でないなら「このトランスポートパネルは捨て難くて図太い」ということは成り立たない」ということは成り立たない
fact1: もしこの第四十章は弔わないとすれば「このトランスポートパネルは捨て難くて図太い」ということは正しくない fact2: 「この第四十章は捨て難いし背負う」ということは間違っている fact3: もしなにかは買春でなくて加えて阪急線大宮駅下車徒歩でないとすると弔わない fact4: 仮にこの防寒具は阪急線大宮駅下車徒歩でないとしたら「弔うし買春でない」ということは事実でない fact5: もしこの第四十章が弔わないならばこのトランスポートパネルは捨て難くてそれは図太い fact6: あの保健衛生は捨て難くない fact7: このトランスポートパネルは弔わない fact8: 「この第四十章は買春でない」ということは成り立つ fact9: この第四十章は認識し得ない fact10: このトランスポートパネルが買春でないし弔わないならば図太くない fact11: 仮にこのトランスポートパネルが図太いということはないならこの第四十章は捨て難いししかも買春である fact12: このトランスポートパネルは摘まない fact13: もしこのトランスポートパネルは図太くないとすると「この第四十章は買春だしまた捨て難い」ということは誤りである fact14: この第四十章は図太くない fact15: この第四十章が図太くないとしたらこのトランスポートパネルは阪急線大宮駅下車徒歩であるしそれは捨て難い fact16: もしもこの第四十章が阪急線大宮駅下車徒歩でないならばこのトランスポートパネルは捨て難いし図太い
void -> assump1: 以下のように仮定する。この第四十章は阪急線大宮駅下車徒歩でない; fact8 & assump1 -> int1: 「この第四十章は買春だということはなくてまた阪急線大宮駅下車徒歩でない」ということは成り立つ; fact3 -> int2: 仮にこの第四十章は買春でなくてかつ阪急線大宮駅下車徒歩でないなら弔わない; int1 & int2 -> int3: 「この第四十章は弔わない」ということは間違っていない; int3 & fact1 -> int4: 「このトランスポートパネルは捨て難くて図太い」ということは成り立たない; [assump1] & int4 -> hypothesis;
この防寒具は弔わない
$facts$ = fact1: もしこの第四十章は弔わないとすれば「このトランスポートパネルは捨て難くて図太い」ということは正しくない fact2: 「この第四十章は捨て難いし背負う」ということは間違っている fact3: もしなにかは買春でなくて加えて阪急線大宮駅下車徒歩でないとすると弔わない fact4: 仮にこの防寒具は阪急線大宮駅下車徒歩でないとしたら「弔うし買春でない」ということは事実でない fact5: もしこの第四十章が弔わないならばこのトランスポートパネルは捨て難くてそれは図太い fact6: あの保健衛生は捨て難くない fact7: このトランスポートパネルは弔わない fact8: 「この第四十章は買春でない」ということは成り立つ fact9: この第四十章は認識し得ない fact10: このトランスポートパネルが買春でないし弔わないならば図太くない fact11: 仮にこのトランスポートパネルが図太いということはないならこの第四十章は捨て難いししかも買春である fact12: このトランスポートパネルは摘まない fact13: もしこのトランスポートパネルは図太くないとすると「この第四十章は買春だしまた捨て難い」ということは誤りである fact14: この第四十章は図太くない fact15: この第四十章が図太くないとしたらこのトランスポートパネルは阪急線大宮駅下車徒歩であるしそれは捨て難い fact16: もしもこの第四十章が阪急線大宮駅下車徒歩でないならばこのトランスポートパネルは捨て難いし図太い ; $hypothesis$ = 「もしもこの第四十章は阪急線大宮駅下車徒歩でないなら「このトランスポートパネルは捨て難くて図太い」ということは成り立たない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。この第四十章は阪急線大宮駅下車徒歩でない; fact8 & assump1 -> int1: 「この第四十章は買春だということはなくてまた阪急線大宮駅下車徒歩でない」ということは成り立つ; fact3 -> int2: 仮にこの第四十章は買春でなくてかつ阪急線大宮駅下車徒歩でないなら弔わない; int1 & int2 -> int3: 「この第四十章は弔わない」ということは間違っていない; int3 & fact1 -> int4: 「このトランスポートパネルは捨て難くて図太い」ということは成り立たない; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: もしこの第四十章は弔わないとすれば「このトランスポートパネルは捨て難くて図太い」ということは正しくない
事実2: 「この第四十章は捨て難いし背負う」ということは間違っている
事実3: もしなにかは買春でなくて加えて阪急線大宮駅下車徒歩でないとすると弔わない
事実4: 仮にこの防寒具は阪急線大宮駅下車徒歩でないとしたら「弔うし買春でない」ということは事実でない
事実5: もしこの第四十章が弔わないならばこのトランスポートパネルは捨て難くてそれは図太い
事実6: あの保健衛生は捨て難くない
事実7: このトランスポートパネルは弔わない
事実8: 「この第四十章は買春でない」ということは成り立つ
事実9: この第四十章は認識し得ない
事実10: このトランスポートパネルが買春でないし弔わないならば図太くない
事実11: 仮にこのトランスポートパネルが図太いということはないならこの第四十章は捨て難いししかも買春である
事実12: このトランスポートパネルは摘まない
事実13: もしこのトランスポートパネルは図太くないとすると「この第四十章は買春だしまた捨て難い」ということは誤りである
事実14: この第四十章は図太くない
事実15: この第四十章が図太くないとしたらこのトランスポートパネルは阪急線大宮駅下車徒歩であるしそれは捨て難い
事実16: もしもこの第四十章が阪急線大宮駅下車徒歩でないならばこのトランスポートパネルは捨て難いし図太い

仮説: 「もしもこの第四十章は阪急線大宮駅下車徒歩でないなら「このトランスポートパネルは捨て難くて図太い」ということは成り立たない」ということは成り立たない
1. 仮定1: 以下のように仮定する。この第四十章は阪急線大宮駅下車徒歩でない
2. 事実8と仮定1から、推論1: "「この第四十章は買春だということはなくてまた阪急線大宮駅下車徒歩でない」ということは成り立つ"が導かれる
3. 事実3から、推論2: "仮にこの第四十章は買春でなくてかつ阪急線大宮駅下車徒歩でないなら弔わない"が導かれる
4. 推論1と推論2から、推論3: "「この第四十章は弔わない」ということは間違っていない"が導かれる
5. 推論3と事実1から、推論4: "「このトランスポートパネルは捨て難くて図太い」ということは成り立たない"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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