「「自然消滅するし加えて回復し得ない」ということは事実と異なるとしたらはあはあしない」物はある
fact1: もし「なんらかの物が自然消滅するしその上回復し得る」ということは成り立つということはないとしたらそれははあはあするということはない fact2: 「もしも自然消滅するしかつ回復し得ないとすると「はあはあするということはない」ということは成り立つ」物はある fact3: 「仮に「自然消滅するししかも回復し得る」ということは成り立たないならばはあはあしない」ものはある fact4: もしも「とあるものは寝泊まり出来るけど骨髄細胞であるということはない」ということは嘘であるとするとディーラーでない fact5: 仮になんらかの物は自然消滅する一方で回復し得るということはないならはあはあしない fact6: 仮になにがしかのものが自然消滅しないとするとはあはあしない fact7: 仮に「あの借主側ははあはあするけどそれは転ばさない」ということは間違いならばミス発見システムでない fact8: もし「このページ番号は自然消滅するけれど回復し得ない」ということは成り立つということはないなら「はあはあしない」ということは成り立たない fact9: 「仮に「寮友会だ一方で込まない」ということは間違っているとすると遺伝子組み替えでない」物はある fact10: もし「このページ番号は自然消滅するしかつ回復し得る」ということは成り立たないとするとはあはあするということはない fact11: もし「ある物は自然消滅するけど回復し得ない」ということは事実と異なるとしたらはあはあする fact12: 「なにがしかの物は自然消滅するが回復し得ない」ということは誤りだとすればはあはあしない fact13: もしこのページ番号は自然消滅しないなら「はあはあしない」ということは成り立つ fact14: 「自然消滅しないとしたらはあはあしない」物はある fact15: もしも「このページ番号は自然消滅する一方で回復し得ない」ということは事実と異ならないとすると「それははあはあしない」ということは確かである fact16: 「「自然消滅するしそれに回復し得ない」ということは事実でないならばはあはあする」物はある fact17: もし仮に「なにがしかの物は禁令だけれど沈丁花でない」ということは事実と異なるとすると新約聖書でない
fact12 -> int1: もし仮に「このページ番号は自然消滅するけれどそれは回復し得ない」ということは嘘ならばはあはあしない; int1 -> hypothesis;
「仮に「寝泊まり出来るし骨髄細胞でない」ということは事実と異なるとするとディーラーでない」ものはある
fact18 -> int2: もし仮に「「この音痴は寝泊まり出来るがしかし骨髄細胞でない」ということは間違いである」ということは成り立つならそれはディーラーだということはない; int2 -> hypothesis;
$facts$ = fact1: もし「なんらかの物が自然消滅するしその上回復し得る」ということは成り立つということはないとしたらそれははあはあするということはない fact2: 「もしも自然消滅するしかつ回復し得ないとすると「はあはあするということはない」ということは成り立つ」物はある fact3: 「仮に「自然消滅するししかも回復し得る」ということは成り立たないならばはあはあしない」ものはある fact4: もしも「とあるものは寝泊まり出来るけど骨髄細胞であるということはない」ということは嘘であるとするとディーラーでない fact5: 仮になんらかの物は自然消滅する一方で回復し得るということはないならはあはあしない fact6: 仮になにがしかのものが自然消滅しないとするとはあはあしない fact7: 仮に「あの借主側ははあはあするけどそれは転ばさない」ということは間違いならばミス発見システムでない fact8: もし「このページ番号は自然消滅するけれど回復し得ない」ということは成り立つということはないなら「はあはあしない」ということは成り立たない fact9: 「仮に「寮友会だ一方で込まない」ということは間違っているとすると遺伝子組み替えでない」物はある fact10: もし「このページ番号は自然消滅するしかつ回復し得る」ということは成り立たないとするとはあはあするということはない fact11: もし「ある物は自然消滅するけど回復し得ない」ということは事実と異なるとしたらはあはあする fact12: 「なにがしかの物は自然消滅するが回復し得ない」ということは誤りだとすればはあはあしない fact13: もしこのページ番号は自然消滅しないなら「はあはあしない」ということは成り立つ fact14: 「自然消滅しないとしたらはあはあしない」物はある fact15: もしも「このページ番号は自然消滅する一方で回復し得ない」ということは事実と異ならないとすると「それははあはあしない」ということは確かである fact16: 「「自然消滅するしそれに回復し得ない」ということは事実でないならばはあはあする」物はある fact17: もし仮に「なにがしかの物は禁令だけれど沈丁花でない」ということは事実と異なるとすると新約聖書でない ; $hypothesis$ = 「「自然消滅するし加えて回復し得ない」ということは事実と異なるとしたらはあはあしない」物はある ; $proof$ = 
fact12 -> int1: もし仮に「このページ番号は自然消滅するけれどそれは回復し得ない」ということは嘘ならばはあはあしない; int1 -> hypothesis; __PROVED__
事実1: もし「なんらかの物が自然消滅するしその上回復し得る」ということは成り立つということはないとしたらそれははあはあするということはない
事実2: 「もしも自然消滅するしかつ回復し得ないとすると「はあはあするということはない」ということは成り立つ」物はある
事実3: 「仮に「自然消滅するししかも回復し得る」ということは成り立たないならばはあはあしない」ものはある
事実4: もしも「とあるものは寝泊まり出来るけど骨髄細胞であるということはない」ということは嘘であるとするとディーラーでない
事実5: 仮になんらかの物は自然消滅する一方で回復し得るということはないならはあはあしない
事実6: 仮になにがしかのものが自然消滅しないとするとはあはあしない
事実7: 仮に「あの借主側ははあはあするけどそれは転ばさない」ということは間違いならばミス発見システムでない
事実8: もし「このページ番号は自然消滅するけれど回復し得ない」ということは成り立つということはないなら「はあはあしない」ということは成り立たない
事実9: 「仮に「寮友会だ一方で込まない」ということは間違っているとすると遺伝子組み替えでない」物はある
事実10: もし「このページ番号は自然消滅するしかつ回復し得る」ということは成り立たないとするとはあはあするということはない
事実11: もし「ある物は自然消滅するけど回復し得ない」ということは事実と異なるとしたらはあはあする
事実12: 「なにがしかの物は自然消滅するが回復し得ない」ということは誤りだとすればはあはあしない
事実13: もしこのページ番号は自然消滅しないなら「はあはあしない」ということは成り立つ
事実14: 「自然消滅しないとしたらはあはあしない」物はある
事実15: もしも「このページ番号は自然消滅する一方で回復し得ない」ということは事実と異ならないとすると「それははあはあしない」ということは確かである
事実16: 「「自然消滅するしそれに回復し得ない」ということは事実でないならばはあはあする」物はある
事実17: もし仮に「なにがしかの物は禁令だけれど沈丁花でない」ということは事実と異なるとすると新約聖書でない

仮説: 「「自然消滅するし加えて回復し得ない」ということは事実と異なるとしたらはあはあしない」物はある
1. 事実12から、推論1: "もし仮に「このページ番号は自然消滅するけれどそれは回復し得ない」ということは嘘ならばはあはあしない"が導かれる
2. 推論1から、仮説が導かれる

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