この小径は目的無し
fact1: 仮に「あの従僕は方位であるかもしくは目的無しないかまたはどちらもだ」ということは偽であるならこの小径は目的無しということはない fact2: 「あの酒折は耳慣れないかそれは節点Ｎでないかあるいは両方だ」ということは間違いだ fact3: もし「この小径は黴臭くないかあるいは節点Ｎでないかまたは両方ともだ」ということは偽だとするとそれは目的無し fact4: もしも「何らかの物は結婚するということはないかまたはそれは掻っ攫わないかもしくはどちらもである」ということは偽であるとしたら黴臭い fact5: 「この小径は黴臭くないかまたはそれは節点Ｎでない」ということは確かでない fact6: この小径は節点Ｎである
fact3 & fact5 -> hypothesis;
fact3 & fact5 -> hypothesis;
この小径は目的無しない
$facts$ = fact1: 仮に「あの従僕は方位であるかもしくは目的無しないかまたはどちらもだ」ということは偽であるならこの小径は目的無しということはない fact2: 「あの酒折は耳慣れないかそれは節点Ｎでないかあるいは両方だ」ということは間違いだ fact3: もし「この小径は黴臭くないかあるいは節点Ｎでないかまたは両方ともだ」ということは偽だとするとそれは目的無し fact4: もしも「何らかの物は結婚するということはないかまたはそれは掻っ攫わないかもしくはどちらもである」ということは偽であるとしたら黴臭い fact5: 「この小径は黴臭くないかまたはそれは節点Ｎでない」ということは確かでない fact6: この小径は節点Ｎである ; $hypothesis$ = この小径は目的無し ; $proof$ = 
fact3 & fact5 -> hypothesis; __PROVED__
事実1: 仮に「あの従僕は方位であるかもしくは目的無しないかまたはどちらもだ」ということは偽であるならこの小径は目的無しということはない
事実2: 「あの酒折は耳慣れないかそれは節点Ｎでないかあるいは両方だ」ということは間違いだ
事実3: もし「この小径は黴臭くないかあるいは節点Ｎでないかまたは両方ともだ」ということは偽だとするとそれは目的無し
事実4: もしも「何らかの物は結婚するということはないかまたはそれは掻っ攫わないかもしくはどちらもである」ということは偽であるとしたら黴臭い
事実5: 「この小径は黴臭くないかまたはそれは節点Ｎでない」ということは確かでない
事実6: この小径は節点Ｎである

仮説: この小径は目的無し
1. 事実3と事実5から、仮説が導かれる

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