この臨時規定は達成し易くない
fact1: もし仮にあの日和見感染症が達成し易いとするとこの臨時規定は達成し易い fact2: あの日和見感染症は当たりだ fact3: この臨時規定がディスカッションするということはないならあの日和見感染症はディスカッションする fact4: もしもこの臨時規定がディスカッションするということはないとしたらあの日和見感染症は女っぽいということはないけどディスカッションする fact5: 仮にこの臨時規定が注げるということはないか祖先であるかあるいは両方ともであるとすればディスカッションしない fact6: 粉っぽくないものは雑居するしまた変異だ fact7: あの日和見感染症はディスカッションする fact8: もし「この臨時規定は注げないかあるいは祖先であるかもしくは両方ともだ」ということは誤りだとしたらそれは達成し易くない fact9: もしあの日和見感染症は当たりでないかあるいは女っぽいか両方ならばそれは達成し易くない fact10: もしも「この臨時規定は注げるかそれは祖先であるか両方である」ということは嘘ならそれは達成し易くない fact11: 「もしもこの借り換えが表現すらないかまたは女っぽいかもしくはどちらもであるならこの借り換えは百姓らしくない」ということは誤りでない fact12: もし仮にあの日和見感染症は女っぽくないけれどディスカッションするとすれば当たりでない fact13: 仮に何かは当たりであるなら「ディスカッションする」ということは成り立つ fact14: もしこの臨時規定が狙い難くないなら当たりであるししかも達成し易い fact15: 仮にこの臨時規定が注げないとしたらそれはディスカッションするということはない fact16: もし仮に「この臨時規定は落第しないしかつおしっこしない」ということは成り立たないとしたらそれは粉っぽいということはない fact17: あのミクロは狙い難いとしたら「そのアルミ箔はディスカッションしないしおまけに当たりであるということはない」ということは間違っている fact18: この聘はディスカッションする fact19: この臨時規定は注げる fact20: なにかは雑居するしその上変異であるとすればそれは狙い難いということはない fact21: あの大手業者はアゲインでないがしかし達成し易い fact22: この臨時規定は注げるかまたは祖先だ
void -> assump1: 以下のように仮定する。この臨時規定は注げないかもしくは祖先であるかまたは両方ともだ; fact5 & assump1 -> int1: この臨時規定はディスカッションするということはない; int1 & fact4 -> int2: あの日和見感染症は女っぽくないがそれはディスカッションする; int2 & fact12 -> int3: あの日和見感染症は当たりでない; int3 & fact2 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「この臨時規定は注げるということはないか祖先であるかあるいはどちらもである」ということは成り立たない; int5 & fact8 -> hypothesis;
この臨時規定は小品だということはない
fact24 -> int6: もし仮にこの臨時規定は当たりならば「ディスカッションする」ということは真実だ; fact25 -> int7: もしこの臨時規定が雑居するし変異ならそれは狙い難くない; fact27 -> int8: もしこの臨時規定が粉っぽいということはないなら雑居するし変異である;
$facts$ = fact1: もし仮にあの日和見感染症が達成し易いとするとこの臨時規定は達成し易い fact2: あの日和見感染症は当たりだ fact3: この臨時規定がディスカッションするということはないならあの日和見感染症はディスカッションする fact4: もしもこの臨時規定がディスカッションするということはないとしたらあの日和見感染症は女っぽいということはないけどディスカッションする fact5: 仮にこの臨時規定が注げるということはないか祖先であるかあるいは両方ともであるとすればディスカッションしない fact6: 粉っぽくないものは雑居するしまた変異だ fact7: あの日和見感染症はディスカッションする fact8: もし「この臨時規定は注げないかあるいは祖先であるかもしくは両方ともだ」ということは誤りだとしたらそれは達成し易くない fact9: もしあの日和見感染症は当たりでないかあるいは女っぽいか両方ならばそれは達成し易くない fact10: もしも「この臨時規定は注げるかそれは祖先であるか両方である」ということは嘘ならそれは達成し易くない fact11: 「もしもこの借り換えが表現すらないかまたは女っぽいかもしくはどちらもであるならこの借り換えは百姓らしくない」ということは誤りでない fact12: もし仮にあの日和見感染症は女っぽくないけれどディスカッションするとすれば当たりでない fact13: 仮に何かは当たりであるなら「ディスカッションする」ということは成り立つ fact14: もしこの臨時規定が狙い難くないなら当たりであるししかも達成し易い fact15: 仮にこの臨時規定が注げないとしたらそれはディスカッションするということはない fact16: もし仮に「この臨時規定は落第しないしかつおしっこしない」ということは成り立たないとしたらそれは粉っぽいということはない fact17: あのミクロは狙い難いとしたら「そのアルミ箔はディスカッションしないしおまけに当たりであるということはない」ということは間違っている fact18: この聘はディスカッションする fact19: この臨時規定は注げる fact20: なにかは雑居するしその上変異であるとすればそれは狙い難いということはない fact21: あの大手業者はアゲインでないがしかし達成し易い fact22: この臨時規定は注げるかまたは祖先だ ; $hypothesis$ = この臨時規定は達成し易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。この臨時規定は注げないかもしくは祖先であるかまたは両方ともだ; fact5 & assump1 -> int1: この臨時規定はディスカッションするということはない; int1 & fact4 -> int2: あの日和見感染症は女っぽくないがそれはディスカッションする; int2 & fact12 -> int3: あの日和見感染症は当たりでない; int3 & fact2 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「この臨時規定は注げるということはないか祖先であるかあるいはどちらもである」ということは成り立たない; int5 & fact8 -> hypothesis; __PROVED__
事実1: もし仮にあの日和見感染症が達成し易いとするとこの臨時規定は達成し易い
事実2: あの日和見感染症は当たりだ
事実3: この臨時規定がディスカッションするということはないならあの日和見感染症はディスカッションする
事実4: もしもこの臨時規定がディスカッションするということはないとしたらあの日和見感染症は女っぽいということはないけどディスカッションする
事実5: 仮にこの臨時規定が注げるということはないか祖先であるかあるいは両方ともであるとすればディスカッションしない
事実6: 粉っぽくないものは雑居するしまた変異だ
事実7: あの日和見感染症はディスカッションする
事実8: もし「この臨時規定は注げないかあるいは祖先であるかもしくは両方ともだ」ということは誤りだとしたらそれは達成し易くない
事実9: もしあの日和見感染症は当たりでないかあるいは女っぽいか両方ならばそれは達成し易くない
事実10: もしも「この臨時規定は注げるかそれは祖先であるか両方である」ということは嘘ならそれは達成し易くない
事実11: 「もしもこの借り換えが表現すらないかまたは女っぽいかもしくはどちらもであるならこの借り換えは百姓らしくない」ということは誤りでない
事実12: もし仮にあの日和見感染症は女っぽくないけれどディスカッションするとすれば当たりでない
事実13: 仮に何かは当たりであるなら「ディスカッションする」ということは成り立つ
事実14: もしこの臨時規定が狙い難くないなら当たりであるししかも達成し易い
事実15: 仮にこの臨時規定が注げないとしたらそれはディスカッションするということはない
事実16: もし仮に「この臨時規定は落第しないしかつおしっこしない」ということは成り立たないとしたらそれは粉っぽいということはない
事実17: あのミクロは狙い難いとしたら「そのアルミ箔はディスカッションしないしおまけに当たりであるということはない」ということは間違っている
事実18: この聘はディスカッションする
事実19: この臨時規定は注げる
事実20: なにかは雑居するしその上変異であるとすればそれは狙い難いということはない
事実21: あの大手業者はアゲインでないがしかし達成し易い
事実22: この臨時規定は注げるかまたは祖先だ

仮説: この臨時規定は達成し易くない
1. 仮定1: 以下のように仮定する。この臨時規定は注げないかもしくは祖先であるかまたは両方ともだ
2. 事実5と仮定1から、推論1: "この臨時規定はディスカッションするということはない"が導かれる
3. 推論1と事実4から、推論2: "あの日和見感染症は女っぽくないがそれはディスカッションする"が導かれる
4. 推論2と事実12から、推論3: "あの日和見感染症は当たりでない"が導かれる
5. 推論3と事実2から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「この臨時規定は注げるということはないか祖先であるかあるいはどちらもである」ということは成り立たない"が導かれる
7. 推論5と事実8から、仮説が導かれる

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