「あの針仕事は心細いしおまけに緊急用だ」ということは成り立たない
fact1: もしも何かは受益でないならば「この木馬道は住み良くておまけにそれは悔しい」ということは偽である fact2: もしも「バン・バンでない」物はあるなら「あの針仕事は心細くて更に緊急用だ」ということは間違っている fact3: 「バン・バンな」ものはある fact4: もし何らかの物はバン・バンでないとすると心細いししかも緊急用である fact5: なにかはバン・バンでない fact6: 「あの針仕事が緊急用だしそれは探し易い」ということは成り立たない fact7: 「心細いということはない」物はある
fact5 & fact2 -> hypothesis;
fact5 & fact2 -> hypothesis;
あの針仕事は心細くてそれは緊急用である
fact8 -> int1: あの針仕事がバン・バンだということはないとするとそれは心細いしまた緊急用である;
$facts$ = fact1: もしも何かは受益でないならば「この木馬道は住み良くておまけにそれは悔しい」ということは偽である fact2: もしも「バン・バンでない」物はあるなら「あの針仕事は心細くて更に緊急用だ」ということは間違っている fact3: 「バン・バンな」ものはある fact4: もし何らかの物はバン・バンでないとすると心細いししかも緊急用である fact5: なにかはバン・バンでない fact6: 「あの針仕事が緊急用だしそれは探し易い」ということは成り立たない fact7: 「心細いということはない」物はある ; $hypothesis$ = 「あの針仕事は心細いしおまけに緊急用だ」ということは成り立たない ; $proof$ = 
fact5 & fact2 -> hypothesis; __PROVED__
事実1: もしも何かは受益でないならば「この木馬道は住み良くておまけにそれは悔しい」ということは偽である
事実2: もしも「バン・バンでない」物はあるなら「あの針仕事は心細くて更に緊急用だ」ということは間違っている
事実3: 「バン・バンな」ものはある
事実4: もし何らかの物はバン・バンでないとすると心細いししかも緊急用である
事実5: なにかはバン・バンでない
事実6: 「あの針仕事が緊急用だしそれは探し易い」ということは成り立たない
事実7: 「心細いということはない」物はある

仮説: 「あの針仕事は心細いしおまけに緊急用だ」ということは成り立たない
1. 事実5と事実2から、仮説が導かれる

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