この船頭衆は重苦しいし聖僧だ
fact1: この同和問題は安っぽくないし更に置き易くない fact2: 「この船頭衆は手緩いということはないけど地ビールである」ということは間違いだ fact3: この船頭衆は小鬼である fact4: 「この船頭衆は聖僧でないけれど安っぽい」ということは成り立たない fact5: この船頭衆は脱退する fact6: この船頭衆は重苦しいし加えて小鬼である fact7: 「この挫傷は安っぽくないけど出先である」ということは誤りだ fact8: 「この船頭衆は聖僧でないけれどそれは安っぽい」ということは間違いであるならそれは聖僧である fact9: 「この船頭衆は聖僧であるしさらにそれは安っぽい」ということは成り立たない fact10: 「この至近弾はＳ字でないけれど掃除出来る」ということは誤りである
fact6 -> int1: この船頭衆は重苦しい; fact4 & fact8 -> int2: この船頭衆は聖僧である; int1 & int2 -> hypothesis;
「この船頭衆は重苦しいし聖僧だ」ということは誤りである
fact11 -> int3: この同和問題は安っぽくない; int3 -> int4: この同和問題は安っぽくないかあるいは判明するかどちらもである;
$facts$ = fact1: この同和問題は安っぽくないし更に置き易くない fact2: 「この船頭衆は手緩いということはないけど地ビールである」ということは間違いだ fact3: この船頭衆は小鬼である fact4: 「この船頭衆は聖僧でないけれど安っぽい」ということは成り立たない fact5: この船頭衆は脱退する fact6: この船頭衆は重苦しいし加えて小鬼である fact7: 「この挫傷は安っぽくないけど出先である」ということは誤りだ fact8: 「この船頭衆は聖僧でないけれどそれは安っぽい」ということは間違いであるならそれは聖僧である fact9: 「この船頭衆は聖僧であるしさらにそれは安っぽい」ということは成り立たない fact10: 「この至近弾はＳ字でないけれど掃除出来る」ということは誤りである ; $hypothesis$ = この船頭衆は重苦しいし聖僧だ ; $proof$ = 
fact6 -> int1: この船頭衆は重苦しい; fact4 & fact8 -> int2: この船頭衆は聖僧である; int1 & int2 -> hypothesis; __PROVED__
事実1: この同和問題は安っぽくないし更に置き易くない
事実2: 「この船頭衆は手緩いということはないけど地ビールである」ということは間違いだ
事実3: この船頭衆は小鬼である
事実4: 「この船頭衆は聖僧でないけれど安っぽい」ということは成り立たない
事実5: この船頭衆は脱退する
事実6: この船頭衆は重苦しいし加えて小鬼である
事実7: 「この挫傷は安っぽくないけど出先である」ということは誤りだ
事実8: 「この船頭衆は聖僧でないけれどそれは安っぽい」ということは間違いであるならそれは聖僧である
事実9: 「この船頭衆は聖僧であるしさらにそれは安っぽい」ということは成り立たない
事実10: 「この至近弾はＳ字でないけれど掃除出来る」ということは誤りである

仮説: この船頭衆は重苦しいし聖僧だ
1. 事実6から、推論1: "この船頭衆は重苦しい"が導かれる
2. 事実4と事実8から、推論2: "この船頭衆は聖僧である"が導かれる
3. 推論1と推論2から、仮説が導かれる

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