もし仮にこの装填が照れ臭いならこの計測結果は親しい
fact1: その免疫機能は湿度依存性だ fact2: この計測結果は日の目でない fact3: あのマスメディアは交戦状態であるかあるいは冗談っぽいかもしくは両方ともである fact4: もし仮に「なにがしかのものはザカートであるということはないし更に湿度依存性でない」ということは成り立たないとすればそれはザカートである fact5: 仮にこの計測結果が無垢だということはないがしかし日の目であるならばそれは親しい fact6: あるものが無垢でないしさらに日の目でないとしたらそれは親しい fact7: もしもその免疫機能が無垢でないならばあの計測結果は無垢だということはなくてまた日の目でない fact8: 親しいものは無垢でない fact9: もしその免疫機能が湿度依存性でしかも無垢であるとしたらこの装填は照れ臭くない fact10: もしも「照れ臭い」物があるとするとその免疫機能は日の目であるかまたは照れ臭いかまたは両方ともだ fact11: この計測結果は指導出来るかもしくは握り易いか両方ともである fact12: もし仮にとあるものは無垢であるということはないなら「ザカートでないし湿度依存性でない」ということは事実と異なる fact13: この地方市場は親しい fact14: 仮にその免疫機能が照れ臭いとすればその打ち身は踊り場である fact15: もしもなんらかの物が指導出来るとすればそれは照れ臭い fact16: もしなんらかの物は展開し易いならば「四十八人でないしさらにそれは愛くるしいということはない」ということは間違っている fact17: もし「この装填は四十八人でないし加えてそれは愛くるしいということはない」ということは真実であるということはないとすればその打ち身は親しい fact18: 握り易いものは照れ臭い fact19: もしある物が交戦状態であるか冗談っぽいかまたはどちらもであるとするとこの装填は展開し易い fact20: もしその免疫機能が日の目だとしたらその打ち身は踊り場である
void -> assump1: 以下のように仮定する。その免疫機能は無垢である; fact1 & assump1 -> int1: 「その免疫機能は湿度依存性であるし無垢である」ということは事実と異ならない; int1 & fact9 -> int2: この装填は照れ臭いということはない; void -> assump2: 以下のように仮定する。この装填は照れ臭い; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その免疫機能は無垢でない; int4 & fact7 -> int5: この計測結果は無垢でなくておまけに日の目でない; fact6 -> int6: もしこの計測結果が無垢でなくておまけにそれが日の目でないとすればそれは親しい; int5 & int6 -> int7: 「この計測結果は親しい」ということは確かである; [assump2] & int7 -> hypothesis;
その打ち身はザカートであるしそれは踊り場である
fact25 -> int8: もし仮に「その打ち身はザカートでないしそれは湿度依存性であるということはない」ということは本当でないなら「それはザカートだ」ということは確かだ; fact32 -> int9: もしその打ち身は無垢でないならば「それはザカートでなくて湿度依存性でない」ということは成り立たない; fact21 -> int10: その打ち身が親しいならばそれは無垢でない; fact24 -> int11: この装填は展開し易いとしたら「四十八人でなくてそれに愛くるしくない」ということは成り立たない; fact33 -> int12: なんらかの物は交戦状態であるかもしくは冗談っぽいかあるいは両方ともだ; int12 & fact23 -> int13: この装填は展開し易い; int11 & int13 -> int14: 「この装填は四十八人でなくてかつ愛くるしくない」ということは間違いだ; fact27 & int14 -> int15: その打ち身は親しい; int10 & int15 -> int16: その打ち身は無垢でない; int9 & int16 -> int17: 「その打ち身はザカートでなくておまけに湿度依存性でない」ということは間違っている; int8 & int17 -> int18: その打ち身はザカートだ; fact29 -> int19: もしもこの計測結果が指導出来るならそれは照れ臭い; fact26 -> int20: もし仮にこの計測結果が握り易いならば照れ臭い; fact30 & int19 & int20 -> int21: この計測結果は照れ臭い; int21 -> int22: ある物は照れ臭い; int22 & fact22 -> int23: その免疫機能は日の目であるかそれは照れ臭い; int23 & fact31 & fact28 -> int24: その打ち身は踊り場だ; int18 & int24 -> hypothesis;
$facts$ = fact1: その免疫機能は湿度依存性だ fact2: この計測結果は日の目でない fact3: あのマスメディアは交戦状態であるかあるいは冗談っぽいかもしくは両方ともである fact4: もし仮に「なにがしかのものはザカートであるということはないし更に湿度依存性でない」ということは成り立たないとすればそれはザカートである fact5: 仮にこの計測結果が無垢だということはないがしかし日の目であるならばそれは親しい fact6: あるものが無垢でないしさらに日の目でないとしたらそれは親しい fact7: もしもその免疫機能が無垢でないならばあの計測結果は無垢だということはなくてまた日の目でない fact8: 親しいものは無垢でない fact9: もしその免疫機能が湿度依存性でしかも無垢であるとしたらこの装填は照れ臭くない fact10: もしも「照れ臭い」物があるとするとその免疫機能は日の目であるかまたは照れ臭いかまたは両方ともだ fact11: この計測結果は指導出来るかもしくは握り易いか両方ともである fact12: もし仮にとあるものは無垢であるということはないなら「ザカートでないし湿度依存性でない」ということは事実と異なる fact13: この地方市場は親しい fact14: 仮にその免疫機能が照れ臭いとすればその打ち身は踊り場である fact15: もしもなんらかの物が指導出来るとすればそれは照れ臭い fact16: もしなんらかの物は展開し易いならば「四十八人でないしさらにそれは愛くるしいということはない」ということは間違っている fact17: もし「この装填は四十八人でないし加えてそれは愛くるしいということはない」ということは真実であるということはないとすればその打ち身は親しい fact18: 握り易いものは照れ臭い fact19: もしある物が交戦状態であるか冗談っぽいかまたはどちらもであるとするとこの装填は展開し易い fact20: もしその免疫機能が日の目だとしたらその打ち身は踊り場である ; $hypothesis$ = もし仮にこの装填が照れ臭いならこの計測結果は親しい ; $proof$ = 
void -> assump1: 以下のように仮定する。その免疫機能は無垢である; fact1 & assump1 -> int1: 「その免疫機能は湿度依存性であるし無垢である」ということは事実と異ならない; int1 & fact9 -> int2: この装填は照れ臭いということはない; void -> assump2: 以下のように仮定する。この装填は照れ臭い; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その免疫機能は無垢でない; int4 & fact7 -> int5: この計測結果は無垢でなくておまけに日の目でない; fact6 -> int6: もしこの計測結果が無垢でなくておまけにそれが日の目でないとすればそれは親しい; int5 & int6 -> int7: 「この計測結果は親しい」ということは確かである; [assump2] & int7 -> hypothesis; __PROVED__
事実1: その免疫機能は湿度依存性だ
事実2: この計測結果は日の目でない
事実3: あのマスメディアは交戦状態であるかあるいは冗談っぽいかもしくは両方ともである
事実4: もし仮に「なにがしかのものはザカートであるということはないし更に湿度依存性でない」ということは成り立たないとすればそれはザカートである
事実5: 仮にこの計測結果が無垢だということはないがしかし日の目であるならばそれは親しい
事実6: あるものが無垢でないしさらに日の目でないとしたらそれは親しい
事実7: もしもその免疫機能が無垢でないならばあの計測結果は無垢だということはなくてまた日の目でない
事実8: 親しいものは無垢でない
事実9: もしその免疫機能が湿度依存性でしかも無垢であるとしたらこの装填は照れ臭くない
事実10: もしも「照れ臭い」物があるとするとその免疫機能は日の目であるかまたは照れ臭いかまたは両方ともだ
事実11: この計測結果は指導出来るかもしくは握り易いか両方ともである
事実12: もし仮にとあるものは無垢であるということはないなら「ザカートでないし湿度依存性でない」ということは事実と異なる
事実13: この地方市場は親しい
事実14: 仮にその免疫機能が照れ臭いとすればその打ち身は踊り場である
事実15: もしもなんらかの物が指導出来るとすればそれは照れ臭い
事実16: もしなんらかの物は展開し易いならば「四十八人でないしさらにそれは愛くるしいということはない」ということは間違っている
事実17: もし「この装填は四十八人でないし加えてそれは愛くるしいということはない」ということは真実であるということはないとすればその打ち身は親しい
事実18: 握り易いものは照れ臭い
事実19: もしある物が交戦状態であるか冗談っぽいかまたはどちらもであるとするとこの装填は展開し易い
事実20: もしその免疫機能が日の目だとしたらその打ち身は踊り場である

仮説: もし仮にこの装填が照れ臭いならこの計測結果は親しい
1. 仮定1: 以下のように仮定する。その免疫機能は無垢である
2. 事実1と仮定1から、推論1: "「その免疫機能は湿度依存性であるし無垢である」ということは事実と異ならない"が導かれる
3. 推論1と事実9から、推論2: "この装填は照れ臭いということはない"が導かれる
4. 仮定2: 以下のように仮定する。この装填は照れ臭い
5. 推論2と仮定2から、推論3: "これは矛盾である"が導かれる
6. [仮定1]と推論3から、推論4: "その免疫機能は無垢でない"が導かれる
7. 推論4と事実7から、推論5: "この計測結果は無垢でなくておまけに日の目でない"が導かれる
8. 事実6から、推論6: "もしこの計測結果が無垢でなくておまけにそれが日の目でないとすればそれは親しい"が導かれる
9. 推論5と推論6から、推論7: "「この計測結果は親しい」ということは確かである"が導かれる
10. [仮定2]と推論7から、仮説が導かれる

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