あの市井ちゃんは鄙である
fact1: 「もしもあの市井ちゃんが侮るということはないならあの恵方は保証出来るし鄙である」ということは間違いでない fact2: もしもあの市井ちゃんが保証出来るということはないとしたらあの恵方は鄙であるしその上それは侮る fact3: あの恵方がレベル以下だしかつそれはＨＤ児だ fact4: 「もし「あの恵方は鄙でない」ということは間違いでないならばあの市井ちゃんは侮るしかつ保証出来る」ということは成り立つ fact5: あの内部湛水は保証出来ない fact6: 仮にあの恵方が侮らないとするとあの市井ちゃんは保証出来るしかつ鄙である fact7: あの恵方は保証出来ない fact8: あの恵方が保証出来ないとすればあの市井ちゃんは侮る fact9: あの市井ちゃんは誇りっぽい fact10: もしあの恵方が保証出来ないとするとあの市井ちゃんは侮るしそれは鄙である fact11: あの市井ちゃんは御まん丸であるしまたそれは発現し易い fact12: あの市井ちゃんは侮る fact13: もし仮に「あの恵方は鄙でない」ということは確かであるとするとあの市井ちゃんは保証出来るしそれは侮る
fact10 & fact7 -> int1: あの市井ちゃんは侮るししかも鄙である; int1 -> hypothesis;
fact10 & fact7 -> int1: ({AA}{b} & {AB}{b}); int1 -> hypothesis;
$facts$ = fact1: 「もしもあの市井ちゃんが侮るということはないならあの恵方は保証出来るし鄙である」ということは間違いでない fact2: もしもあの市井ちゃんが保証出来るということはないとしたらあの恵方は鄙であるしその上それは侮る fact3: あの恵方がレベル以下だしかつそれはＨＤ児だ fact4: 「もし「あの恵方は鄙でない」ということは間違いでないならばあの市井ちゃんは侮るしかつ保証出来る」ということは成り立つ fact5: あの内部湛水は保証出来ない fact6: 仮にあの恵方が侮らないとするとあの市井ちゃんは保証出来るしかつ鄙である fact7: あの恵方は保証出来ない fact8: あの恵方が保証出来ないとすればあの市井ちゃんは侮る fact9: あの市井ちゃんは誇りっぽい fact10: もしあの恵方が保証出来ないとするとあの市井ちゃんは侮るしそれは鄙である fact11: あの市井ちゃんは御まん丸であるしまたそれは発現し易い fact12: あの市井ちゃんは侮る fact13: もし仮に「あの恵方は鄙でない」ということは確かであるとするとあの市井ちゃんは保証出来るしそれは侮る ; $hypothesis$ = あの市井ちゃんは鄙である ; $proof$ = 
fact10 & fact7 -> int1: あの市井ちゃんは侮るししかも鄙である; int1 -> hypothesis; __PROVED__
事実1: 「もしもあの市井ちゃんが侮るということはないならあの恵方は保証出来るし鄙である」ということは間違いでない
事実2: もしもあの市井ちゃんが保証出来るということはないとしたらあの恵方は鄙であるしその上それは侮る
事実3: あの恵方がレベル以下だしかつそれはＨＤ児だ
事実4: 「もし「あの恵方は鄙でない」ということは間違いでないならばあの市井ちゃんは侮るしかつ保証出来る」ということは成り立つ
事実5: あの内部湛水は保証出来ない
事実6: 仮にあの恵方が侮らないとするとあの市井ちゃんは保証出来るしかつ鄙である
事実7: あの恵方は保証出来ない
事実8: あの恵方が保証出来ないとすればあの市井ちゃんは侮る
事実9: あの市井ちゃんは誇りっぽい
事実10: もしあの恵方が保証出来ないとするとあの市井ちゃんは侮るしそれは鄙である
事実11: あの市井ちゃんは御まん丸であるしまたそれは発現し易い
事実12: あの市井ちゃんは侮る
事実13: もし仮に「あの恵方は鄙でない」ということは確かであるとするとあの市井ちゃんは保証出来るしそれは侮る

仮説: あの市井ちゃんは鄙である
1. 事実10と事実7から、推論1: "あの市井ちゃんは侮るししかも鄙である"が導かれる
2. 推論1から、仮説が導かれる

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