その毒性は若返りでないしそれは試食しない
fact1: 仮に何らかの物は湿っぽくないなら「それは結婚為さるし加えて酪農地帯だ」ということは間違いだ fact2: 仮になんらかのものはうざくないならば「それは若返りであるということはないし試食しない」ということは間違いである fact3: 仮に「「その視床下部は礼儀正しいかあるいはそれは厚くない」ということは事実でない」ということは真実だとすればあの業界トップレベルは礼儀正しくない fact4: もしその視床下部はうざくなくてＯ先生でないならば酪農地帯である fact5: もしその業界トップレベルはうざい一方でＯ先生でないとすればあの毒性はうざくない fact6: 「この恐喝は湿っぽくない」ということは確かだ fact7: なにがしかのものが賠償金額でなくてしかもそれが礼儀正しくないとしたらそれは湿っぽくない fact8: もし仮にこの恐喝は湿っぽくないがしかし結婚為さるなら賠償金額でない fact9: もし仮にその業界トップレベルはＯ先生であるならその視床下部はうざくないしさらにＯ先生でない fact10: その業界トップレベルは賠償金額でない fact11: その毒性は試食しないが酪農地帯だ fact12: その視床下部は識別すれば「礼儀正しいかまたは厚くない」ということは成り立つということはない fact13: もしも「その毒性はＯ先生であるか酪農地帯でない」ということは偽であるとしたらこの恐喝はＯ先生だ fact14: この恐喝は賠償金額だ fact15: もし「その毒性は若返りでないししかも試食しない」ということは事実と異なればその業界トップレベルはＯ先生だ fact16: もしもその視床下部がうざいならばその毒性は若返りでないしそれはうざいということはない fact17: その視床下部が酪農地帯だとするとこの恐喝は湿っぽいということはないけど結婚為さる fact18: もしも「なんらかの物は結婚為さるし加えてそれは酪農地帯である」ということは誤っていれば酪農地帯でない
void -> assump1: 以下のように仮定する。「その毒性は若返りでなくてそれは試食しない」ということは間違っている; fact15 & assump1 -> int1: その業界トップレベルはＯ先生だ; int1 & fact9 -> int2: その視床下部はうざくないしＯ先生でない; int2 & fact4 -> int3: その視床下部は酪農地帯である; int3 & fact17 -> int4: この恐喝は湿っぽいということはないが結婚為さる; int4 & fact8 -> int5: この恐喝は賠償金額でない; int5 & fact14 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
「その毒性は若返りでないしそれは試食しない」ということは誤りである
fact20 -> int7: もし仮にその毒性はうざくないとすれば「それは若返りでなくてまた試食しない」ということは確かでない; fact24 -> int8: もしも「その業界トップレベルは結婚為さるしその上酪農地帯である」ということは誤りだとすると酪農地帯であるということはない; fact19 -> int9: その業界トップレベルは湿っぽくないとすれば「それは結婚為さるし加えて酪農地帯だ」ということは間違いである; fact25 -> int10: 仮に「その業界トップレベルは賠償金額でないし礼儀正しくない」ということは成り立てばそれは湿っぽくない;
$facts$ = fact1: 仮に何らかの物は湿っぽくないなら「それは結婚為さるし加えて酪農地帯だ」ということは間違いだ fact2: 仮になんらかのものはうざくないならば「それは若返りであるということはないし試食しない」ということは間違いである fact3: 仮に「「その視床下部は礼儀正しいかあるいはそれは厚くない」ということは事実でない」ということは真実だとすればあの業界トップレベルは礼儀正しくない fact4: もしその視床下部はうざくなくてＯ先生でないならば酪農地帯である fact5: もしその業界トップレベルはうざい一方でＯ先生でないとすればあの毒性はうざくない fact6: 「この恐喝は湿っぽくない」ということは確かだ fact7: なにがしかのものが賠償金額でなくてしかもそれが礼儀正しくないとしたらそれは湿っぽくない fact8: もし仮にこの恐喝は湿っぽくないがしかし結婚為さるなら賠償金額でない fact9: もし仮にその業界トップレベルはＯ先生であるならその視床下部はうざくないしさらにＯ先生でない fact10: その業界トップレベルは賠償金額でない fact11: その毒性は試食しないが酪農地帯だ fact12: その視床下部は識別すれば「礼儀正しいかまたは厚くない」ということは成り立つということはない fact13: もしも「その毒性はＯ先生であるか酪農地帯でない」ということは偽であるとしたらこの恐喝はＯ先生だ fact14: この恐喝は賠償金額だ fact15: もし「その毒性は若返りでないししかも試食しない」ということは事実と異なればその業界トップレベルはＯ先生だ fact16: もしもその視床下部がうざいならばその毒性は若返りでないしそれはうざいということはない fact17: その視床下部が酪農地帯だとするとこの恐喝は湿っぽいということはないけど結婚為さる fact18: もしも「なんらかの物は結婚為さるし加えてそれは酪農地帯である」ということは誤っていれば酪農地帯でない ; $hypothesis$ = その毒性は若返りでないしそれは試食しない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その毒性は若返りでなくてそれは試食しない」ということは間違っている; fact15 & assump1 -> int1: その業界トップレベルはＯ先生だ; int1 & fact9 -> int2: その視床下部はうざくないしＯ先生でない; int2 & fact4 -> int3: その視床下部は酪農地帯である; int3 & fact17 -> int4: この恐喝は湿っぽいということはないが結婚為さる; int4 & fact8 -> int5: この恐喝は賠償金額でない; int5 & fact14 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __PROVED__
事実1: 仮に何らかの物は湿っぽくないなら「それは結婚為さるし加えて酪農地帯だ」ということは間違いだ
事実2: 仮になんらかのものはうざくないならば「それは若返りであるということはないし試食しない」ということは間違いである
事実3: 仮に「「その視床下部は礼儀正しいかあるいはそれは厚くない」ということは事実でない」ということは真実だとすればあの業界トップレベルは礼儀正しくない
事実4: もしその視床下部はうざくなくてＯ先生でないならば酪農地帯である
事実5: もしその業界トップレベルはうざい一方でＯ先生でないとすればあの毒性はうざくない
事実6: 「この恐喝は湿っぽくない」ということは確かだ
事実7: なにがしかのものが賠償金額でなくてしかもそれが礼儀正しくないとしたらそれは湿っぽくない
事実8: もし仮にこの恐喝は湿っぽくないがしかし結婚為さるなら賠償金額でない
事実9: もし仮にその業界トップレベルはＯ先生であるならその視床下部はうざくないしさらにＯ先生でない
事実10: その業界トップレベルは賠償金額でない
事実11: その毒性は試食しないが酪農地帯だ
事実12: その視床下部は識別すれば「礼儀正しいかまたは厚くない」ということは成り立つということはない
事実13: もしも「その毒性はＯ先生であるか酪農地帯でない」ということは偽であるとしたらこの恐喝はＯ先生だ
事実14: この恐喝は賠償金額だ
事実15: もし「その毒性は若返りでないししかも試食しない」ということは事実と異なればその業界トップレベルはＯ先生だ
事実16: もしもその視床下部がうざいならばその毒性は若返りでないしそれはうざいということはない
事実17: その視床下部が酪農地帯だとするとこの恐喝は湿っぽいということはないけど結婚為さる
事実18: もしも「なんらかの物は結婚為さるし加えてそれは酪農地帯である」ということは誤っていれば酪農地帯でない

仮説: その毒性は若返りでないしそれは試食しない
1. 仮定1: 以下のように仮定する。「その毒性は若返りでなくてそれは試食しない」ということは間違っている
2. 事実15と仮定1から、推論1: "その業界トップレベルはＯ先生だ"が導かれる
3. 推論1と事実9から、推論2: "その視床下部はうざくないしＯ先生でない"が導かれる
4. 推論2と事実4から、推論3: "その視床下部は酪農地帯である"が導かれる
5. 推論3と事実17から、推論4: "この恐喝は湿っぽいということはないが結婚為さる"が導かれる
6. 推論4と事実8から、推論5: "この恐喝は賠償金額でない"が導かれる
7. 推論5と事実14から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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