その加久藤城は膵管内でない
fact1: この小度は御構い無い fact2: この小度は御人でない fact3: 仮にこの小度が御人だということはないとしたら御構い無いししかもそれはツモでない fact4: 拭い難いということはないものは御人であるかまたは溝川であるかあるいは両方だ fact5: この小度は御人でないなら御構い無い fact6: 仮にこの小度は御構い無いけどツモでないとすれば「その加久藤城は膵管内でない」ということは確かだ
fact3 & fact2 -> int1: 「この小度は御構い無いけれどツモでない」ということは真実である; int1 & fact6 -> hypothesis;
fact3 & fact2 -> int1: ({AA}{a} & ¬{AB}{a}); int1 & fact6 -> hypothesis;
「その加久藤城は膵管内だ」ということは本当だ
fact7 -> int2: 仮にその加久藤城が拭い難くないとすれば御人であるかそれは溝川である;
$facts$ = fact1: この小度は御構い無い fact2: この小度は御人でない fact3: 仮にこの小度が御人だということはないとしたら御構い無いししかもそれはツモでない fact4: 拭い難いということはないものは御人であるかまたは溝川であるかあるいは両方だ fact5: この小度は御人でないなら御構い無い fact6: 仮にこの小度は御構い無いけどツモでないとすれば「その加久藤城は膵管内でない」ということは確かだ ; $hypothesis$ = その加久藤城は膵管内でない ; $proof$ = 
fact3 & fact2 -> int1: 「この小度は御構い無いけれどツモでない」ということは真実である; int1 & fact6 -> hypothesis; __PROVED__
事実1: この小度は御構い無い
事実2: この小度は御人でない
事実3: 仮にこの小度が御人だということはないとしたら御構い無いししかもそれはツモでない
事実4: 拭い難いということはないものは御人であるかまたは溝川であるかあるいは両方だ
事実5: この小度は御人でないなら御構い無い
事実6: 仮にこの小度は御構い無いけどツモでないとすれば「その加久藤城は膵管内でない」ということは確かだ

仮説: その加久藤城は膵管内でない
1. 事実3と事実2から、推論1: "「この小度は御構い無いけれどツモでない」ということは真実である"が導かれる
2. 推論1と事実6から、仮説が導かれる

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