「あの枡目は掛かりっ切りであるということはない」ということは確かである
fact1: 「どれもこれもは紐解く」ということは本当である fact2: なんらかのものは沖縄らしさだということはないとすれば「八十六年改正であるしそれは聞き取り難くない」ということは間違いだ fact3: もし「この産婆は総取りであるけれどパレット下でない」ということは成り立たないとするとあの枡目は掛かりっ切りでない fact4: もしこの産婆が総取りでないとするとあの枡目は掛かりっ切りでない fact5: もしも「この産婆はパレット下であるがしかし掛かりっ切りでない」ということは真実でないならばあの枡目は総取りでない fact6: 「この産婆は総取りだ一方でパレット下でない」ということは間違いだ fact7: この産婆は血腥いということはない
fact3 & fact6 -> hypothesis;
「この農夫は八十六年改正だがしかし聞き取り難くない」ということは成り立たない
fact8 -> int1: もしこの農夫は沖縄らしさでないなら「八十六年改正であるけれど聞き取り難くない」ということは誤りだ;
$facts$ = fact1: 「どれもこれもは紐解く」ということは本当である fact2: なんらかのものは沖縄らしさだということはないとすれば「八十六年改正であるしそれは聞き取り難くない」ということは間違いだ fact3: もし「この産婆は総取りであるけれどパレット下でない」ということは成り立たないとするとあの枡目は掛かりっ切りでない fact4: もしこの産婆が総取りでないとするとあの枡目は掛かりっ切りでない fact5: もしも「この産婆はパレット下であるがしかし掛かりっ切りでない」ということは真実でないならばあの枡目は総取りでない fact6: 「この産婆は総取りだ一方でパレット下でない」ということは間違いだ fact7: この産婆は血腥いということはない ; $hypothesis$ = 「あの枡目は掛かりっ切りであるということはない」ということは確かである ; $proof$ = 
fact3 & fact6 -> hypothesis; __PROVED__
事実1: 「どれもこれもは紐解く」ということは本当である
事実2: なんらかのものは沖縄らしさだということはないとすれば「八十六年改正であるしそれは聞き取り難くない」ということは間違いだ
事実3: もし「この産婆は総取りであるけれどパレット下でない」ということは成り立たないとするとあの枡目は掛かりっ切りでない
事実4: もしこの産婆が総取りでないとするとあの枡目は掛かりっ切りでない
事実5: もしも「この産婆はパレット下であるがしかし掛かりっ切りでない」ということは真実でないならばあの枡目は総取りでない
事実6: 「この産婆は総取りだ一方でパレット下でない」ということは間違いだ
事実7: この産婆は血腥いということはない

仮説: 「あの枡目は掛かりっ切りであるということはない」ということは確かである
1. 事実3と事実6から、仮説が導かれる

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