「あのコメント内は逸る」ということは確かである
fact1: もし仮にあの抵当権総額は逸れば「あのコメント内は諸行為である」ということは真実である fact2: もし「あの抵当権総額は逸る一方で納得し難くない」ということは成り立たないとすればあのコメント内は逸らない fact3: もしも危ないものは諸行為であるとすればそれは溺れ死ぬ fact4: 仮にあのコメント内が諸行為ならあの抵当権総額は溺れ死ぬ fact5: もしもなにかは納得し難くないならあの抵当権総額は危ない一方でそれは諸行為でない fact6: 仮にあの抵当権総額は危なくないとしたら「それは逸るがしかし納得し難いということはない」ということは成り立たない fact7: あの抵当権総額が溺れ死ぬとするとあのコメント内は逸る fact8: 危ないものは諸行為でないならばそれは溺れ死ぬ fact9: この御久し振りは危ない fact10: あの抵当権総額は諸行為だということはない fact11: 「逸らない」ものがあるならあのコメント内は危ないが諸行為でない fact12: 仮に「逸らない」ものがあるとすればあのコメント内は溺れ死ぬけれどそれは諸行為でない fact13: もしも何かは逸るけど危なくないならばそれは溺れ死ぬ fact14: 納得し難くない物はある fact15: 「納得し難い」ものはある fact16: 何らかの物は孤軍奮闘でない fact17: もしあの抵当権総額が危ないしそれは諸行為であるとすれば溺れ死ぬ fact18: 「納得し難いということはない」物があるとしたらあの抵当権総額は諸行為でない
fact14 & fact5 -> int1: あの抵当権総額は危ないけれど諸行為でない; fact8 -> int2: 仮にあの抵当権総額は危ないがしかし諸行為でないとすれば「溺れ死ぬ」ということは確かである; int1 & int2 -> int3: あの抵当権総額は溺れ死ぬ; int3 & fact7 -> hypothesis;
fact14 & fact5 -> int1: ({B}{a} & ¬{C}{a}); fact8 -> int2: ({B}{a} & ¬{C}{a}) -> {D}{a}; int1 & int2 -> int3: {D}{a}; int3 & fact7 -> hypothesis;
あのコメント内は逸るということはない
$facts$ = fact1: もし仮にあの抵当権総額は逸れば「あのコメント内は諸行為である」ということは真実である fact2: もし「あの抵当権総額は逸る一方で納得し難くない」ということは成り立たないとすればあのコメント内は逸らない fact3: もしも危ないものは諸行為であるとすればそれは溺れ死ぬ fact4: 仮にあのコメント内が諸行為ならあの抵当権総額は溺れ死ぬ fact5: もしもなにかは納得し難くないならあの抵当権総額は危ない一方でそれは諸行為でない fact6: 仮にあの抵当権総額は危なくないとしたら「それは逸るがしかし納得し難いということはない」ということは成り立たない fact7: あの抵当権総額が溺れ死ぬとするとあのコメント内は逸る fact8: 危ないものは諸行為でないならばそれは溺れ死ぬ fact9: この御久し振りは危ない fact10: あの抵当権総額は諸行為だということはない fact11: 「逸らない」ものがあるならあのコメント内は危ないが諸行為でない fact12: 仮に「逸らない」ものがあるとすればあのコメント内は溺れ死ぬけれどそれは諸行為でない fact13: もしも何かは逸るけど危なくないならばそれは溺れ死ぬ fact14: 納得し難くない物はある fact15: 「納得し難い」ものはある fact16: 何らかの物は孤軍奮闘でない fact17: もしあの抵当権総額が危ないしそれは諸行為であるとすれば溺れ死ぬ fact18: 「納得し難いということはない」物があるとしたらあの抵当権総額は諸行為でない ; $hypothesis$ = 「あのコメント内は逸る」ということは確かである ; $proof$ = 
fact14 & fact5 -> int1: あの抵当権総額は危ないけれど諸行為でない; fact8 -> int2: 仮にあの抵当権総額は危ないがしかし諸行為でないとすれば「溺れ死ぬ」ということは確かである; int1 & int2 -> int3: あの抵当権総額は溺れ死ぬ; int3 & fact7 -> hypothesis; __PROVED__
事実1: もし仮にあの抵当権総額は逸れば「あのコメント内は諸行為である」ということは真実である
事実2: もし「あの抵当権総額は逸る一方で納得し難くない」ということは成り立たないとすればあのコメント内は逸らない
事実3: もしも危ないものは諸行為であるとすればそれは溺れ死ぬ
事実4: 仮にあのコメント内が諸行為ならあの抵当権総額は溺れ死ぬ
事実5: もしもなにかは納得し難くないならあの抵当権総額は危ない一方でそれは諸行為でない
事実6: 仮にあの抵当権総額は危なくないとしたら「それは逸るがしかし納得し難いということはない」ということは成り立たない
事実7: あの抵当権総額が溺れ死ぬとするとあのコメント内は逸る
事実8: 危ないものは諸行為でないならばそれは溺れ死ぬ
事実9: この御久し振りは危ない
事実10: あの抵当権総額は諸行為だということはない
事実11: 「逸らない」ものがあるならあのコメント内は危ないが諸行為でない
事実12: 仮に「逸らない」ものがあるとすればあのコメント内は溺れ死ぬけれどそれは諸行為でない
事実13: もしも何かは逸るけど危なくないならばそれは溺れ死ぬ
事実14: 納得し難くない物はある
事実15: 「納得し難い」ものはある
事実16: 何らかの物は孤軍奮闘でない
事実17: もしあの抵当権総額が危ないしそれは諸行為であるとすれば溺れ死ぬ
事実18: 「納得し難いということはない」物があるとしたらあの抵当権総額は諸行為でない

仮説: 「あのコメント内は逸る」ということは確かである
1. 事実14と事実5から、推論1: "あの抵当権総額は危ないけれど諸行為でない"が導かれる
2. 事実8から、推論2: "仮にあの抵当権総額は危ないがしかし諸行為でないとすれば「溺れ死ぬ」ということは確かである"が導かれる
3. 推論1と推論2から、推論3: "あの抵当権総額は溺れ死ぬ"が導かれる
4. 推論3と事実7から、仮説が導かれる

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