「もしも「任せ切らないかもしくは如此しないかどちらもだ」ということは成り立たないならば免れ難い」物はある
fact1: 「あの当年は任せ切らないかもしくは如此しかもしくはどちらもだ」ということは成り立たないとするとそれは免れ難い fact2: 「「もし「任せ切るかまたは如此しないかあるいは両方だ」ということは成り立たないとすれば免れ難い」ものはある」ということは真実である fact3: 「もし仮に「あの当年は任せ切らないかあるいはそれは如此しということはない」ということは成り立たないとしたらあの当年は免れ難い」ということは正しい fact4: もし仮にあの当年が任せ切らないかもしくは如此しないかもしくは両方ともであるとするとそれは免れ難い fact5: 「もし仮に「任せ切らないかまたは如此しかもしくは両方ともだ」ということは嘘だとすると免れ難い」ものはある fact6: もし仮に「何らかの物は毛利方でないかもしくは通過しないかあるいは両方ともである」ということは成り立たないならば「それはプロデュースする」ということは真実である
fact3 -> hypothesis;
「もし仮に「毛利方でないか通過しないかどちらもである」ということは偽だとすればプロデュースする」ものはある
fact7 -> int1: もし仮に「このビーチチェアーは毛利方でないかもしくは通過しないか両方ともである」ということは誤りだとしたらそれはプロデュースする; int1 -> hypothesis;
$facts$ = fact1: 「あの当年は任せ切らないかもしくは如此しかもしくはどちらもだ」ということは成り立たないとするとそれは免れ難い fact2: 「「もし「任せ切るかまたは如此しないかあるいは両方だ」ということは成り立たないとすれば免れ難い」ものはある」ということは真実である fact3: 「もし仮に「あの当年は任せ切らないかあるいはそれは如此しということはない」ということは成り立たないとしたらあの当年は免れ難い」ということは正しい fact4: もし仮にあの当年が任せ切らないかもしくは如此しないかもしくは両方ともであるとするとそれは免れ難い fact5: 「もし仮に「任せ切らないかまたは如此しかもしくは両方ともだ」ということは嘘だとすると免れ難い」ものはある fact6: もし仮に「何らかの物は毛利方でないかもしくは通過しないかあるいは両方ともである」ということは成り立たないならば「それはプロデュースする」ということは真実である ; $hypothesis$ = 「もしも「任せ切らないかもしくは如此しないかどちらもだ」ということは成り立たないならば免れ難い」物はある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 「あの当年は任せ切らないかもしくは如此しかもしくはどちらもだ」ということは成り立たないとするとそれは免れ難い
事実2: 「「もし「任せ切るかまたは如此しないかあるいは両方だ」ということは成り立たないとすれば免れ難い」ものはある」ということは真実である
事実3: 「もし仮に「あの当年は任せ切らないかあるいはそれは如此しということはない」ということは成り立たないとしたらあの当年は免れ難い」ということは正しい
事実4: もし仮にあの当年が任せ切らないかもしくは如此しないかもしくは両方ともであるとするとそれは免れ難い
事実5: 「もし仮に「任せ切らないかまたは如此しかもしくは両方ともだ」ということは嘘だとすると免れ難い」ものはある
事実6: もし仮に「何らかの物は毛利方でないかもしくは通過しないかあるいは両方ともである」ということは成り立たないならば「それはプロデュースする」ということは真実である

仮説: 「もしも「任せ切らないかもしくは如此しないかどちらもだ」ということは成り立たないならば免れ難い」物はある
1. 事実3から、仮説が導かれる

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