もし仮にあの白粉は対立し合わないとすればそれは馳せ参ぜない
fact1: もし仮にあの白粉が馳せ参ずるとしたらそれは対立し合うしおまけにそれは数え切れない fact2: もしあの白粉は対立し合うとすれば「馳せ参ずるということはない」ということは成り立つ fact3: もしも何らかの物が苛むということはないしさらに馳せ参ぜないならば対立し合わない
void -> assump1: 以下のように仮定する。あの白粉は馳せ参ずる; fact1 & assump1 -> int1: あの白粉は対立し合うが数え切れない; int1 -> int2: あの白粉は対立し合う; void -> assump2: 以下のように仮定する。あの白粉は対立し合わない; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの白粉は馳せ参ぜない; [assump2] & int4 -> hypothesis;
このレポート上は対立し合わない
fact4 -> int5: 仮にこのレポート上が苛むということはないしその上それが馳せ参ぜないならば対立し合わない;
$facts$ = fact1: もし仮にあの白粉が馳せ参ずるとしたらそれは対立し合うしおまけにそれは数え切れない fact2: もしあの白粉は対立し合うとすれば「馳せ参ずるということはない」ということは成り立つ fact3: もしも何らかの物が苛むということはないしさらに馳せ参ぜないならば対立し合わない ; $hypothesis$ = もし仮にあの白粉は対立し合わないとすればそれは馳せ参ぜない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの白粉は馳せ参ずる; fact1 & assump1 -> int1: あの白粉は対立し合うが数え切れない; int1 -> int2: あの白粉は対立し合う; void -> assump2: 以下のように仮定する。あの白粉は対立し合わない; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの白粉は馳せ参ぜない; [assump2] & int4 -> hypothesis; __PROVED__
事実1: もし仮にあの白粉が馳せ参ずるとしたらそれは対立し合うしおまけにそれは数え切れない
事実2: もしあの白粉は対立し合うとすれば「馳せ参ずるということはない」ということは成り立つ
事実3: もしも何らかの物が苛むということはないしさらに馳せ参ぜないならば対立し合わない

仮説: もし仮にあの白粉は対立し合わないとすればそれは馳せ参ぜない
1. 仮定1: 以下のように仮定する。あの白粉は馳せ参ずる
2. 事実1と仮定1から、推論1: "あの白粉は対立し合うが数え切れない"が導かれる
3. 推論1から、推論2: "あの白粉は対立し合う"が導かれる
4. 仮定2: 以下のように仮定する。あの白粉は対立し合わない
5. 推論2と仮定2から、推論3: "これは矛盾である"が導かれる
6. [仮定1]と推論3から、推論4: "あの白粉は馳せ参ぜない"が導かれる
7. [仮定2]と推論4から、仮説が導かれる

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