その対外債務は与し易いということはない
fact1: 「この鯨はおぼこであるということはない」ということは事実だ fact2: 仮にこの鯨が倉庫業者ならその対外債務は与し易くない fact3: もしこの鯨がおぼこでないならば倉庫業者であるかそれは微笑しないかまたは両方である fact4: もし仮にこの鯨が微笑しないならばその対外債務は与し易くない
fact3 & fact1 -> int1: 「この鯨は倉庫業者であるかまたは微笑しないかもしくは両方ともである」ということは事実である; int1 & fact2 & fact4 -> hypothesis;
fact3 & fact1 -> int1: ({AA}{a} v ¬{AB}{a}); int1 & fact2 & fact4 -> hypothesis;
$facts$ = fact1: 「この鯨はおぼこであるということはない」ということは事実だ fact2: 仮にこの鯨が倉庫業者ならその対外債務は与し易くない fact3: もしこの鯨がおぼこでないならば倉庫業者であるかそれは微笑しないかまたは両方である fact4: もし仮にこの鯨が微笑しないならばその対外債務は与し易くない ; $hypothesis$ = その対外債務は与し易いということはない ; $proof$ = 
fact3 & fact1 -> int1: 「この鯨は倉庫業者であるかまたは微笑しないかもしくは両方ともである」ということは事実である; int1 & fact2 & fact4 -> hypothesis; __PROVED__
事実1: 「この鯨はおぼこであるということはない」ということは事実だ
事実2: 仮にこの鯨が倉庫業者ならその対外債務は与し易くない
事実3: もしこの鯨がおぼこでないならば倉庫業者であるかそれは微笑しないかまたは両方である
事実4: もし仮にこの鯨が微笑しないならばその対外債務は与し易くない

仮説: その対外債務は与し易いということはない
1. 事実3と事実1から、推論1: "「この鯨は倉庫業者であるかまたは微笑しないかもしくは両方ともである」ということは事実である"が導かれる
2. 推論1と事実2と事実4から、仮説が導かれる

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