なにがしかの物は腹黒い
fact1: 「その退職前は増え難くないしその上堪え難くない」ということは成り立たないならそれは腹黒い fact2: 仮にあの打ち合いが人間臭くないとすればでっかくない fact3: もしもこの売れ行きが堪え難いとするとあの打ち合いはでっかい fact4: もし仮にこの売れ行きは増え難くないならば「その退職前は堪え難くないしさらに増え難くない」ということは成り立たない fact5: 仮にあの打ち合いは増え難いなら「それはでっかい」ということは正しい fact6: あの打ち合いは人間臭くない fact7: 仮にこの売れ行きは堪え難くないなら「その退職前は増え難いということはないし堪え難くない」ということは成り立たない fact8: もしも「何らかのものが人間臭くないしさらにそれは腹黒くない」ということは事実でないならばそれは増え難くない
void -> assump1: 以下のように仮定する。この売れ行きは堪え難い; fact3 & assump1 -> int1: あの打ち合いはでっかい; fact2 & fact6 -> int2: あの打ち合いはでっかくない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この売れ行きは堪え難くない; int4 & fact7 -> int5: 「その退職前は増え難くないし更に堪え難くない」ということは成り立たない; int5 & fact1 -> int6: その退職前は腹黒い; int6 -> hypothesis;
この余剰労働力は堪え難い
fact9 -> int7: もし仮に「この売れ行きは人間臭くないしおまけに腹黒くない」ということは誤りならば増え難いということはない;
$facts$ = fact1: 「その退職前は増え難くないしその上堪え難くない」ということは成り立たないならそれは腹黒い fact2: 仮にあの打ち合いが人間臭くないとすればでっかくない fact3: もしもこの売れ行きが堪え難いとするとあの打ち合いはでっかい fact4: もし仮にこの売れ行きは増え難くないならば「その退職前は堪え難くないしさらに増え難くない」ということは成り立たない fact5: 仮にあの打ち合いは増え難いなら「それはでっかい」ということは正しい fact6: あの打ち合いは人間臭くない fact7: 仮にこの売れ行きは堪え難くないなら「その退職前は増え難いということはないし堪え難くない」ということは成り立たない fact8: もしも「何らかのものが人間臭くないしさらにそれは腹黒くない」ということは事実でないならばそれは増え難くない ; $hypothesis$ = なにがしかの物は腹黒い ; $proof$ = 
void -> assump1: 以下のように仮定する。この売れ行きは堪え難い; fact3 & assump1 -> int1: あの打ち合いはでっかい; fact2 & fact6 -> int2: あの打ち合いはでっかくない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この売れ行きは堪え難くない; int4 & fact7 -> int5: 「その退職前は増え難くないし更に堪え難くない」ということは成り立たない; int5 & fact1 -> int6: その退職前は腹黒い; int6 -> hypothesis; __PROVED__
事実1: 「その退職前は増え難くないしその上堪え難くない」ということは成り立たないならそれは腹黒い
事実2: 仮にあの打ち合いが人間臭くないとすればでっかくない
事実3: もしもこの売れ行きが堪え難いとするとあの打ち合いはでっかい
事実4: もし仮にこの売れ行きは増え難くないならば「その退職前は堪え難くないしさらに増え難くない」ということは成り立たない
事実5: 仮にあの打ち合いは増え難いなら「それはでっかい」ということは正しい
事実6: あの打ち合いは人間臭くない
事実7: 仮にこの売れ行きは堪え難くないなら「その退職前は増え難いということはないし堪え難くない」ということは成り立たない
事実8: もしも「何らかのものが人間臭くないしさらにそれは腹黒くない」ということは事実でないならばそれは増え難くない

仮説: なにがしかの物は腹黒い
1. 仮定1: 以下のように仮定する。この売れ行きは堪え難い
2. 事実3と仮定1から、推論1: "あの打ち合いはでっかい"が導かれる
3. 事実2と事実6から、推論2: "あの打ち合いはでっかくない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この売れ行きは堪え難くない"が導かれる
6. 推論4と事実7から、推論5: "「その退職前は増え難くないし更に堪え難くない」ということは成り立たない"が導かれる
7. 推論5と事実1から、推論6: "その退職前は腹黒い"が導かれる
8. 推論6から、仮説が導かれる

よって、仮説が証明されました。