その赤丸は敢え無くない
fact1: あの習気は肌寒くない fact2: もしその診療記録開示が生理不順であるか変うないかまたは両方であるならあの揮発油税はアルギニンサプリメント療法だ fact3: もしも「その診療記録開示は生理不順であるかもしくはそれは変うないかまたは両方ともである」ということは偽ならこのＭＲＣＰはスポーツドリンクだ fact4: もしあの揮発油税はアルギニンサプリメント療法であるとすれば判決主文だ fact5: あの揮発油税が判決主文であるかノックするか両方ならその赤丸は敢え無くない fact6: もし「このＭＲＣＰはスポーツドリンクである」ということは成り立つなら「それはアルギニンサプリメント療法である」ということは成り立つ fact7: 仮にこのＭＲＣＰがスポーツドリンクであるとするとあの習気は肌寒い fact8: その診療記録開示は生理不順でない fact9: 仮にその赤丸がアルギニンサプリメント療法であるかノックするということはないかもしくはどちらもであるとしたらあの揮発油税は敢え無い fact10: あの習気はスポーツドリンクであるということはない fact11: もしもその診療記録開示が生理不順ならばあの揮発油税はアルギニンサプリメント療法だ
void -> assump1: 以下のように仮定する。「その診療記録開示は生理不順であるかまたは変うないかもしくは両方である」ということは成り立たない; fact3 & assump1 -> int1: このＭＲＣＰはスポーツドリンクである; int1 & fact7 -> int2: あの習気は肌寒い; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> int4: その診療記録開示は生理不順であるか変うないか両方である; int4 & fact2 -> int5: あの揮発油税はアルギニンサプリメント療法だ; int5 & fact4 -> int6: 「あの揮発油税は判決主文である」ということは本当だ; int6 -> int7: あの揮発油税は判決主文であるかノックするかもしくは両方ともだ; int7 & fact5 -> hypothesis;
$facts$ = fact1: あの習気は肌寒くない fact2: もしその診療記録開示が生理不順であるか変うないかまたは両方であるならあの揮発油税はアルギニンサプリメント療法だ fact3: もしも「その診療記録開示は生理不順であるかもしくはそれは変うないかまたは両方ともである」ということは偽ならこのＭＲＣＰはスポーツドリンクだ fact4: もしあの揮発油税はアルギニンサプリメント療法であるとすれば判決主文だ fact5: あの揮発油税が判決主文であるかノックするか両方ならその赤丸は敢え無くない fact6: もし「このＭＲＣＰはスポーツドリンクである」ということは成り立つなら「それはアルギニンサプリメント療法である」ということは成り立つ fact7: 仮にこのＭＲＣＰがスポーツドリンクであるとするとあの習気は肌寒い fact8: その診療記録開示は生理不順でない fact9: 仮にその赤丸がアルギニンサプリメント療法であるかノックするということはないかもしくはどちらもであるとしたらあの揮発油税は敢え無い fact10: あの習気はスポーツドリンクであるということはない fact11: もしもその診療記録開示が生理不順ならばあの揮発油税はアルギニンサプリメント療法だ ; $hypothesis$ = その赤丸は敢え無くない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その診療記録開示は生理不順であるかまたは変うないかもしくは両方である」ということは成り立たない; fact3 & assump1 -> int1: このＭＲＣＰはスポーツドリンクである; int1 & fact7 -> int2: あの習気は肌寒い; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> int4: その診療記録開示は生理不順であるか変うないか両方である; int4 & fact2 -> int5: あの揮発油税はアルギニンサプリメント療法だ; int5 & fact4 -> int6: 「あの揮発油税は判決主文である」ということは本当だ; int6 -> int7: あの揮発油税は判決主文であるかノックするかもしくは両方ともだ; int7 & fact5 -> hypothesis; __PROVED__
事実1: あの習気は肌寒くない
事実2: もしその診療記録開示が生理不順であるか変うないかまたは両方であるならあの揮発油税はアルギニンサプリメント療法だ
事実3: もしも「その診療記録開示は生理不順であるかもしくはそれは変うないかまたは両方ともである」ということは偽ならこのＭＲＣＰはスポーツドリンクだ
事実4: もしあの揮発油税はアルギニンサプリメント療法であるとすれば判決主文だ
事実5: あの揮発油税が判決主文であるかノックするか両方ならその赤丸は敢え無くない
事実6: もし「このＭＲＣＰはスポーツドリンクである」ということは成り立つなら「それはアルギニンサプリメント療法である」ということは成り立つ
事実7: 仮にこのＭＲＣＰがスポーツドリンクであるとするとあの習気は肌寒い
事実8: その診療記録開示は生理不順でない
事実9: 仮にその赤丸がアルギニンサプリメント療法であるかノックするということはないかもしくはどちらもであるとしたらあの揮発油税は敢え無い
事実10: あの習気はスポーツドリンクであるということはない
事実11: もしもその診療記録開示が生理不順ならばあの揮発油税はアルギニンサプリメント療法だ

仮説: その赤丸は敢え無くない
1. 仮定1: 以下のように仮定する。「その診療記録開示は生理不順であるかまたは変うないかもしくは両方である」ということは成り立たない
2. 事実3と仮定1から、推論1: "このＭＲＣＰはスポーツドリンクである"が導かれる
3. 推論1と事実7から、推論2: "あの習気は肌寒い"が導かれる
4. 推論2と事実1から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その診療記録開示は生理不順であるか変うないか両方である"が導かれる
6. 推論4と事実2から、推論5: "あの揮発油税はアルギニンサプリメント療法だ"が導かれる
7. 推論5と事実4から、推論6: "「あの揮発油税は判決主文である」ということは本当だ"が導かれる
8. 推論6から、推論7: "あの揮発油税は判決主文であるかノックするかもしくは両方ともだ"が導かれる
9. 推論7と事実5から、仮説が導かれる

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