「この百段階段は底深くない」ということは事実である
fact1: この百段階段は剣客であるしその上むさい fact2: もしもその己卯が底深くてそれに相違すればこの百段階段はむさいということはない fact3: その己卯は持ち直すしかつそれは犯し易い fact4: その己卯はむさいし更に相違する fact5: その己卯は諸学会である fact6: もしその己卯が底深いしそれに諸学会ならば「この百段階段は相違しない」ということは本当だ fact7: その消防計画は底深いし更に便利さだ fact8: この百段階段は諸学会だということはない fact9: その夕食はむさいし更にそれは放逐する fact10: もし仮にその己卯がむさくて諸学会だとするとこの百段階段は底深くない fact11: その己卯は溺死する fact12: この百段階段は相違する fact13: もしもこの百段階段が諸学会であるし相違するとするとその己卯は底深くない fact14: この百段階段はむさい
fact4 -> int1: その己卯はむさい; int1 & fact5 -> int2: その己卯はむさくて諸学会である; int2 & fact10 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact5 -> int2: ({A}{a} & {C}{a}); int2 & fact10 -> hypothesis;
$facts$ = fact1: この百段階段は剣客であるしその上むさい fact2: もしもその己卯が底深くてそれに相違すればこの百段階段はむさいということはない fact3: その己卯は持ち直すしかつそれは犯し易い fact4: その己卯はむさいし更に相違する fact5: その己卯は諸学会である fact6: もしその己卯が底深いしそれに諸学会ならば「この百段階段は相違しない」ということは本当だ fact7: その消防計画は底深いし更に便利さだ fact8: この百段階段は諸学会だということはない fact9: その夕食はむさいし更にそれは放逐する fact10: もし仮にその己卯がむさくて諸学会だとするとこの百段階段は底深くない fact11: その己卯は溺死する fact12: この百段階段は相違する fact13: もしもこの百段階段が諸学会であるし相違するとするとその己卯は底深くない fact14: この百段階段はむさい ; $hypothesis$ = 「この百段階段は底深くない」ということは事実である ; $proof$ = 
fact4 -> int1: その己卯はむさい; int1 & fact5 -> int2: その己卯はむさくて諸学会である; int2 & fact10 -> hypothesis; __PROVED__
事実1: この百段階段は剣客であるしその上むさい
事実2: もしもその己卯が底深くてそれに相違すればこの百段階段はむさいということはない
事実3: その己卯は持ち直すしかつそれは犯し易い
事実4: その己卯はむさいし更に相違する
事実5: その己卯は諸学会である
事実6: もしその己卯が底深いしそれに諸学会ならば「この百段階段は相違しない」ということは本当だ
事実7: その消防計画は底深いし更に便利さだ
事実8: この百段階段は諸学会だということはない
事実9: その夕食はむさいし更にそれは放逐する
事実10: もし仮にその己卯がむさくて諸学会だとするとこの百段階段は底深くない
事実11: その己卯は溺死する
事実12: この百段階段は相違する
事実13: もしもこの百段階段が諸学会であるし相違するとするとその己卯は底深くない
事実14: この百段階段はむさい

仮説: 「この百段階段は底深くない」ということは事実である
1. 事実4から、推論1: "その己卯はむさい"が導かれる
2. 推論1と事実5から、推論2: "その己卯はむさくて諸学会である"が導かれる
3. 推論2と事実10から、仮説が導かれる

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