「この音頭は仙だということはない」ということは本当だということはない
fact1: あの固定利付け証券は話し始める fact2: もしあの固定利付け証券が長居しないならばあの音頭は仙である fact3: この建議案は愛し合わない fact4: 「この建議案は腐さないしまた愛し合うということはない」ということは誤っている fact5: もしあの固定利付け証券は起こし難くないならば「この建議案は腐すということはない」ということは確かだ fact6: もしもあの固定利付け証券は起こし難いしかつ話し始めるなら長居しない
void -> assump1: 以下のように仮定する。あの固定利付け証券は起こし難くない; fact5 & assump1 -> int1: 「この建議案は腐すということはない」ということは成り立つ; int1 & fact3 -> int2: この建議案は腐さないししかも愛し合わない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの固定利付け証券は起こし難い; int4 & fact1 -> int5: あの固定利付け証券は起こし難いしおまけにそれは話し始める; int5 & fact6 -> int6: あの固定利付け証券は長居しない; int6 & fact2 -> hypothesis;
$facts$ = fact1: あの固定利付け証券は話し始める fact2: もしあの固定利付け証券が長居しないならばあの音頭は仙である fact3: この建議案は愛し合わない fact4: 「この建議案は腐さないしまた愛し合うということはない」ということは誤っている fact5: もしあの固定利付け証券は起こし難くないならば「この建議案は腐すということはない」ということは確かだ fact6: もしもあの固定利付け証券は起こし難いしかつ話し始めるなら長居しない ; $hypothesis$ = 「この音頭は仙だということはない」ということは本当だということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの固定利付け証券は起こし難くない; fact5 & assump1 -> int1: 「この建議案は腐すということはない」ということは成り立つ; int1 & fact3 -> int2: この建議案は腐さないししかも愛し合わない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの固定利付け証券は起こし難い; int4 & fact1 -> int5: あの固定利付け証券は起こし難いしおまけにそれは話し始める; int5 & fact6 -> int6: あの固定利付け証券は長居しない; int6 & fact2 -> hypothesis; __PROVED__
事実1: あの固定利付け証券は話し始める
事実2: もしあの固定利付け証券が長居しないならばあの音頭は仙である
事実3: この建議案は愛し合わない
事実4: 「この建議案は腐さないしまた愛し合うということはない」ということは誤っている
事実5: もしあの固定利付け証券は起こし難くないならば「この建議案は腐すということはない」ということは確かだ
事実6: もしもあの固定利付け証券は起こし難いしかつ話し始めるなら長居しない

仮説: 「この音頭は仙だということはない」ということは本当だということはない
1. 仮定1: 以下のように仮定する。あの固定利付け証券は起こし難くない
2. 事実5と仮定1から、推論1: "「この建議案は腐すということはない」ということは成り立つ"が導かれる
3. 推論1と事実3から、推論2: "この建議案は腐さないししかも愛し合わない"が導かれる
4. 推論2と事実4から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの固定利付け証券は起こし難い"が導かれる
6. 推論4と事実1から、推論5: "あの固定利付け証券は起こし難いしおまけにそれは話し始める"が導かれる
7. 推論5と事実6から、推論6: "あの固定利付け証券は長居しない"が導かれる
8. 推論6と事実2から、仮説が導かれる

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