「もしも「年率でなくてまた年寄らない」ということは成り立たないなら取り消し得ない」物はある
fact1: もし「この測定感度は年率でないけれど年寄る」ということは誤っているなら「取り消し得ない」ということは事実だ fact2: もし仮にこの測定感度は年率であるとしたら「それは取り消し得ということはない」ということは確かだ fact3: 「もし「年率でなくてその上年寄らない」ということは成り立たないなら取り消し得」ものはある fact4: 「もし「荒稼ぎしなくて招来しない」ということは嘘であるとすると御早くない」ものはある fact5: もしも「何らかの物は侘しくなくてそれは第二次世界大戦でない」ということは誤りだとするとそれは及び難くない fact6: 「何らかの物は年率でなくてそれは年寄らない」ということは成り立つということはないならばそれは取り消し得ない fact7: 仮に「なんらかのものは年率でなくて加えて年寄らない」ということは成り立たないならそれは取り消し得 fact8: 「もし「年率だ」ということは成り立つなら取り消し得ない」ものはある fact9: もし仮に「この測定感度は年率でないしそれは年寄らない」ということは誤りだとすれば「取り消し得」ということは確かだ fact10: 「仮に年率でなくてその上年寄らないとすると取り消し得ない」物はある fact11: もし仮に「なにかは年率でない一方で年寄る」ということは間違っているとしたらそれは取り消し得ない fact12: 「もしも「年率でないがしかし年寄る」ということは成り立たないとすると取り消し得ない」物はある fact13: 「もしも「何らかの物は動物でないしおまけに降格しない」ということは間違いだとしたら頼り無いということはない」ということは正しい fact14: 仮に何らかの物が年率でないしそれが年寄るということはないとしたらそれは取り消し得ない fact15: もしこの測定感度は年率でないしかつ年寄るということはないならばそれは取り消し得ない fact16: 「仮に「受光しなくてかつ馬鹿らしくない」ということは成り立つということはないとすると県会議員でない」ものはある fact17: 仮に「その全盛時代は年寄らないしそれに浮き易くない」ということは間違いだとしたらそれは頼り無くない fact18: 年率は取り消し得ない
fact6 -> int1: 「この測定感度は年率でないししかも年寄るということはない」ということは誤りならばそれは取り消し得ない; int1 -> hypothesis;
$facts$ = fact1: もし「この測定感度は年率でないけれど年寄る」ということは誤っているなら「取り消し得ない」ということは事実だ fact2: もし仮にこの測定感度は年率であるとしたら「それは取り消し得ということはない」ということは確かだ fact3: 「もし「年率でなくてその上年寄らない」ということは成り立たないなら取り消し得」ものはある fact4: 「もし「荒稼ぎしなくて招来しない」ということは嘘であるとすると御早くない」ものはある fact5: もしも「何らかの物は侘しくなくてそれは第二次世界大戦でない」ということは誤りだとするとそれは及び難くない fact6: 「何らかの物は年率でなくてそれは年寄らない」ということは成り立つということはないならばそれは取り消し得ない fact7: 仮に「なんらかのものは年率でなくて加えて年寄らない」ということは成り立たないならそれは取り消し得 fact8: 「もし「年率だ」ということは成り立つなら取り消し得ない」ものはある fact9: もし仮に「この測定感度は年率でないしそれは年寄らない」ということは誤りだとすれば「取り消し得」ということは確かだ fact10: 「仮に年率でなくてその上年寄らないとすると取り消し得ない」物はある fact11: もし仮に「なにかは年率でない一方で年寄る」ということは間違っているとしたらそれは取り消し得ない fact12: 「もしも「年率でないがしかし年寄る」ということは成り立たないとすると取り消し得ない」物はある fact13: 「もしも「何らかの物は動物でないしおまけに降格しない」ということは間違いだとしたら頼り無いということはない」ということは正しい fact14: 仮に何らかの物が年率でないしそれが年寄るということはないとしたらそれは取り消し得ない fact15: もしこの測定感度は年率でないしかつ年寄るということはないならばそれは取り消し得ない fact16: 「仮に「受光しなくてかつ馬鹿らしくない」ということは成り立つということはないとすると県会議員でない」ものはある fact17: 仮に「その全盛時代は年寄らないしそれに浮き易くない」ということは間違いだとしたらそれは頼り無くない fact18: 年率は取り消し得ない ; $hypothesis$ = 「もしも「年率でなくてまた年寄らない」ということは成り立たないなら取り消し得ない」物はある ; $proof$ = 
fact6 -> int1: 「この測定感度は年率でないししかも年寄るということはない」ということは誤りならばそれは取り消し得ない; int1 -> hypothesis; __PROVED__
事実1: もし「この測定感度は年率でないけれど年寄る」ということは誤っているなら「取り消し得ない」ということは事実だ
事実2: もし仮にこの測定感度は年率であるとしたら「それは取り消し得ということはない」ということは確かだ
事実3: 「もし「年率でなくてその上年寄らない」ということは成り立たないなら取り消し得」ものはある
事実4: 「もし「荒稼ぎしなくて招来しない」ということは嘘であるとすると御早くない」ものはある
事実5: もしも「何らかの物は侘しくなくてそれは第二次世界大戦でない」ということは誤りだとするとそれは及び難くない
事実6: 「何らかの物は年率でなくてそれは年寄らない」ということは成り立つということはないならばそれは取り消し得ない
事実7: 仮に「なんらかのものは年率でなくて加えて年寄らない」ということは成り立たないならそれは取り消し得
事実8: 「もし「年率だ」ということは成り立つなら取り消し得ない」ものはある
事実9: もし仮に「この測定感度は年率でないしそれは年寄らない」ということは誤りだとすれば「取り消し得」ということは確かだ
事実10: 「仮に年率でなくてその上年寄らないとすると取り消し得ない」物はある
事実11: もし仮に「なにかは年率でない一方で年寄る」ということは間違っているとしたらそれは取り消し得ない
事実12: 「もしも「年率でないがしかし年寄る」ということは成り立たないとすると取り消し得ない」物はある
事実13: 「もしも「何らかの物は動物でないしおまけに降格しない」ということは間違いだとしたら頼り無いということはない」ということは正しい
事実14: 仮に何らかの物が年率でないしそれが年寄るということはないとしたらそれは取り消し得ない
事実15: もしこの測定感度は年率でないしかつ年寄るということはないならばそれは取り消し得ない
事実16: 「仮に「受光しなくてかつ馬鹿らしくない」ということは成り立つということはないとすると県会議員でない」ものはある
事実17: 仮に「その全盛時代は年寄らないしそれに浮き易くない」ということは間違いだとしたらそれは頼り無くない
事実18: 年率は取り消し得ない

仮説: 「もしも「年率でなくてまた年寄らない」ということは成り立たないなら取り消し得ない」物はある
1. 事実6から、推論1: "「この測定感度は年率でないししかも年寄るということはない」ということは誤りならばそれは取り消し得ない"が導かれる
2. 推論1から、仮説が導かれる

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