「この匂いは直り難いし降る」ということは成り立たない
fact1: 仮に「あの続氷点は険しかなくて加えて老けない」ということは誤りであるとすればそれは直り難いということはない fact2: 険しいということはないしまた老けないというものはない fact3: もしも「何かは両党だしおまけに直り難い」ということは誤っていればそれは直り難くない fact4: もしもあの続氷点は直り難くないとしたら「この匂いは直り難くて降る」ということは間違いだ fact5: 「「死に絶えないししかも摘出でない」ということは事実でない」ものはある fact6: 仮になにかは死に絶えるとすると「それは推定リスクであるしそれは現われ難くない」ということは成り立たない
fact2 -> int1: 「あの続氷点は険しかなくてかつ老けない」ということは間違いである; int1 & fact1 -> int2: あの続氷点は直り難くない; int2 & fact4 -> hypothesis;
fact2 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & fact1 -> int2: ¬{A}{aa}; int2 & fact4 -> hypothesis;
この匂いは直り難いしさらに降る
fact8 -> int3: このＫタームは死に絶えるとすると「それは推定リスクだが現われ難いということはない」ということは間違っている;
$facts$ = fact1: 仮に「あの続氷点は険しかなくて加えて老けない」ということは誤りであるとすればそれは直り難いということはない fact2: 険しいということはないしまた老けないというものはない fact3: もしも「何かは両党だしおまけに直り難い」ということは誤っていればそれは直り難くない fact4: もしもあの続氷点は直り難くないとしたら「この匂いは直り難くて降る」ということは間違いだ fact5: 「「死に絶えないししかも摘出でない」ということは事実でない」ものはある fact6: 仮になにかは死に絶えるとすると「それは推定リスクであるしそれは現われ難くない」ということは成り立たない ; $hypothesis$ = 「この匂いは直り難いし降る」ということは成り立たない ; $proof$ = 
fact2 -> int1: 「あの続氷点は険しかなくてかつ老けない」ということは間違いである; int1 & fact1 -> int2: あの続氷点は直り難くない; int2 & fact4 -> hypothesis; __PROVED__
事実1: 仮に「あの続氷点は険しかなくて加えて老けない」ということは誤りであるとすればそれは直り難いということはない
事実2: 険しいということはないしまた老けないというものはない
事実3: もしも「何かは両党だしおまけに直り難い」ということは誤っていればそれは直り難くない
事実4: もしもあの続氷点は直り難くないとしたら「この匂いは直り難くて降る」ということは間違いだ
事実5: 「「死に絶えないししかも摘出でない」ということは事実でない」ものはある
事実6: 仮になにかは死に絶えるとすると「それは推定リスクであるしそれは現われ難くない」ということは成り立たない

仮説: 「この匂いは直り難いし降る」ということは成り立たない
1. 事実2から、推論1: "「あの続氷点は険しかなくてかつ老けない」ということは間違いである"が導かれる
2. 推論1と事実1から、推論2: "あの続氷点は直り難くない"が導かれる
3. 推論2と事実4から、仮説が導かれる

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