「この曾爺は老齢化しない」ということは確かだ
fact1: 何かは千余里だ fact2: 「その独走は老齢化しない」ということは事実だ fact3: その独走は転出する fact4: 「千余里でない」ものはある fact5: その独走が肥後菖蒲でないとするとこの曾爺が千余里だしそれは老齢化する fact6: 「肥後菖蒲でないかあるいは転出しない」物はある fact7: もし仮になにがしかのものがまどろっこしくらないならばそれは化学繊維だし転出する fact8: 「転出する」ものはある fact9: 「「肥後菖蒲でないかもしくは転出しないかあるいは両方だ」ということは誤りである」ものがあるとすればこの曾爺は老齢化しない fact10: もし仮に「千余里でない」ものはあるとすると「その独走は肥後菖蒲でないかもしくはそれは転出しないかあるいはどちらもだ」ということは成り立たない fact11: 「「肥後菖蒲でないか転出するか両方ともだ」ということは間違っている」物があるとするとこの曾爺は老齢化しない fact12: このＴＢＴ協定が肥後菖蒲でないとしたらその独走は肥後菖蒲でない fact13: なにかは千余里でないならその独走は転出する
fact4 & fact10 -> int1: 「その独走は肥後菖蒲でないかあるいは転出しないかあるいは両方ともだ」ということは成り立たない; int1 -> int2: 「「肥後菖蒲でないかあるいは転出しないかどちらもである」ということは成り立たない」ものはある; int2 & fact9 -> hypothesis;
fact4 & fact10 -> int1: ¬(¬{B}{a} v ¬{C}{a}); int1 -> int2: (Ex): ¬(¬{B}x v ¬{C}x); int2 & fact9 -> hypothesis;
この曾爺は老齢化する
fact15 -> int3: もし「このＴＢＴ協定はまどろっこしくらない」ということは成り立つとするとそれは化学繊維だしまた転出する;
$facts$ = fact1: 何かは千余里だ fact2: 「その独走は老齢化しない」ということは事実だ fact3: その独走は転出する fact4: 「千余里でない」ものはある fact5: その独走が肥後菖蒲でないとするとこの曾爺が千余里だしそれは老齢化する fact6: 「肥後菖蒲でないかあるいは転出しない」物はある fact7: もし仮になにがしかのものがまどろっこしくらないならばそれは化学繊維だし転出する fact8: 「転出する」ものはある fact9: 「「肥後菖蒲でないかもしくは転出しないかあるいは両方だ」ということは誤りである」ものがあるとすればこの曾爺は老齢化しない fact10: もし仮に「千余里でない」ものはあるとすると「その独走は肥後菖蒲でないかもしくはそれは転出しないかあるいはどちらもだ」ということは成り立たない fact11: 「「肥後菖蒲でないか転出するか両方ともだ」ということは間違っている」物があるとするとこの曾爺は老齢化しない fact12: このＴＢＴ協定が肥後菖蒲でないとしたらその独走は肥後菖蒲でない fact13: なにかは千余里でないならその独走は転出する ; $hypothesis$ = 「この曾爺は老齢化しない」ということは確かだ ; $proof$ = 
fact4 & fact10 -> int1: 「その独走は肥後菖蒲でないかあるいは転出しないかあるいは両方ともだ」ということは成り立たない; int1 -> int2: 「「肥後菖蒲でないかあるいは転出しないかどちらもである」ということは成り立たない」ものはある; int2 & fact9 -> hypothesis; __PROVED__
事実1: 何かは千余里だ
事実2: 「その独走は老齢化しない」ということは事実だ
事実3: その独走は転出する
事実4: 「千余里でない」ものはある
事実5: その独走が肥後菖蒲でないとするとこの曾爺が千余里だしそれは老齢化する
事実6: 「肥後菖蒲でないかあるいは転出しない」物はある
事実7: もし仮になにがしかのものがまどろっこしくらないならばそれは化学繊維だし転出する
事実8: 「転出する」ものはある
事実9: 「「肥後菖蒲でないかもしくは転出しないかあるいは両方だ」ということは誤りである」ものがあるとすればこの曾爺は老齢化しない
事実10: もし仮に「千余里でない」ものはあるとすると「その独走は肥後菖蒲でないかもしくはそれは転出しないかあるいはどちらもだ」ということは成り立たない
事実11: 「「肥後菖蒲でないか転出するか両方ともだ」ということは間違っている」物があるとするとこの曾爺は老齢化しない
事実12: このＴＢＴ協定が肥後菖蒲でないとしたらその独走は肥後菖蒲でない
事実13: なにかは千余里でないならその独走は転出する

仮説: 「この曾爺は老齢化しない」ということは確かだ
1. 事実4と事実10から、推論1: "「その独走は肥後菖蒲でないかあるいは転出しないかあるいは両方ともだ」ということは成り立たない"が導かれる
2. 推論1から、推論2: "「「肥後菖蒲でないかあるいは転出しないかどちらもである」ということは成り立たない」ものはある"が導かれる
3. 推論2と事実9から、仮説が導かれる

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