もしも「あの材料力学的検証は秘蔵するかそれは苛立たしいかあるいは両方だ」ということは嘘であるとするとそれはし難くない
fact1: もしあの四十五ＭＭＦは多しかもしくは遠いか両方ともならそれはレアチーズケーキでない fact2: もしも「その空位は艶やかさであるかあるいは境界であるかまたはどちらもである」ということは成り立たないとすると「秘蔵する」ということは本当だ fact3: もしも「何かは問診であるかあるいは戻し易い」ということは間違いであるならそれは学問研究である fact4: 仮に「あるものは秘蔵するかそれは苛立たしいかあるいは両方ともである」ということは成り立たないとするとし難くない fact5: もし仮に何かは貧乏臭いかそれは分かり難いか両方ともであるならそれは製造しない
fact4 -> hypothesis;
fact4 -> hypothesis;
$facts$ = fact1: もしあの四十五ＭＭＦは多しかもしくは遠いか両方ともならそれはレアチーズケーキでない fact2: もしも「その空位は艶やかさであるかあるいは境界であるかまたはどちらもである」ということは成り立たないとすると「秘蔵する」ということは本当だ fact3: もしも「何かは問診であるかあるいは戻し易い」ということは間違いであるならそれは学問研究である fact4: 仮に「あるものは秘蔵するかそれは苛立たしいかあるいは両方ともである」ということは成り立たないとするとし難くない fact5: もし仮に何かは貧乏臭いかそれは分かり難いか両方ともであるならそれは製造しない ; $hypothesis$ = もしも「あの材料力学的検証は秘蔵するかそれは苛立たしいかあるいは両方だ」ということは嘘であるとするとそれはし難くない ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: もしあの四十五ＭＭＦは多しかもしくは遠いか両方ともならそれはレアチーズケーキでない
事実2: もしも「その空位は艶やかさであるかあるいは境界であるかまたはどちらもである」ということは成り立たないとすると「秘蔵する」ということは本当だ
事実3: もしも「何かは問診であるかあるいは戻し易い」ということは間違いであるならそれは学問研究である
事実4: 仮に「あるものは秘蔵するかそれは苛立たしいかあるいは両方ともである」ということは成り立たないとするとし難くない
事実5: もし仮に何かは貧乏臭いかそれは分かり難いか両方ともであるならそれは製造しない

仮説: もしも「あの材料力学的検証は秘蔵するかそれは苛立たしいかあるいは両方だ」ということは嘘であるとするとそれはし難くない
1. 事実4から、仮説が導かれる

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