もし仮にその中央預金保険会社が維持・再生産だということはないとするとあの血流増加は麗しないがしかし読み難い
fact1: もし仮にとある物が維持・再生産でないとすればそれは麗しということはないしおまけに七百七十一Ｒでない fact2: もしその中央預金保険会社が麗しということはないならばあの血流増加は麗しということはないがしかしそれは読み難い fact3: その中央預金保険会社はうら若しないが平歯車である fact4: 仮にあの血流増加が七百七十一Ｒだとしたらその中央預金保険会社は読み難くないがしかしそれは麗し fact5: もしあの血流増加が維持・再生産でないならばその中央預金保険会社は読み難くない一方でそれは七百七十一Ｒだ fact6: もし仮にその中央預金保険会社が維持・再生産であるならばあの血流増加は麗しないけれど読み難い fact7: 仮に「なにかは維持・再生産であるかまたは取り下げる」ということは成り立たないならば「読み難くない」ということは本当だ fact8: もしもその中央預金保険会社が維持・再生産だということはないとすればあの血流増加が麗ししその上読み難い fact9: もしもあの血流増加が麗しないなら七百七十一Ｒでないしかつ維持・再生産でない fact10: その中央預金保険会社は読み難いということはない fact11: もし仮になにかは維持・再生産でないとすると七百七十一Ｒであるということはない fact12: もし仮にあの血流増加が七百七十一Ｒでないならばその中央預金保険会社は麗しない fact13: その日本化学療法学会は麗しない
fact1 -> int1: もしその中央預金保険会社が維持・再生産でないならそれは麗しないししかもそれは七百七十一Ｒであるということはない; void -> assump1: 以下のように仮定する。その中央預金保険会社は維持・再生産でない; int1 & assump1 -> int2: その中央預金保険会社は麗しないし七百七十一Ｒでない; int2 -> int3: その中央預金保険会社は麗しということはない; int3 & fact2 -> int4: あの血流増加は麗しない一方で読み難い; [assump1] & int4 -> hypothesis;
「このＯＤＡは読み難くない」ということは成り立つ
fact14 -> int5: もしも「「このＯＤＡは維持・再生産であるかあるいは取り下げるかもしくはどちらもだ」ということは間違いだ」ということは事実であるなら読み難くない;
$facts$ = fact1: もし仮にとある物が維持・再生産でないとすればそれは麗しということはないしおまけに七百七十一Ｒでない fact2: もしその中央預金保険会社が麗しということはないならばあの血流増加は麗しということはないがしかしそれは読み難い fact3: その中央預金保険会社はうら若しないが平歯車である fact4: 仮にあの血流増加が七百七十一Ｒだとしたらその中央預金保険会社は読み難くないがしかしそれは麗し fact5: もしあの血流増加が維持・再生産でないならばその中央預金保険会社は読み難くない一方でそれは七百七十一Ｒだ fact6: もし仮にその中央預金保険会社が維持・再生産であるならばあの血流増加は麗しないけれど読み難い fact7: 仮に「なにかは維持・再生産であるかまたは取り下げる」ということは成り立たないならば「読み難くない」ということは本当だ fact8: もしもその中央預金保険会社が維持・再生産だということはないとすればあの血流増加が麗ししその上読み難い fact9: もしもあの血流増加が麗しないなら七百七十一Ｒでないしかつ維持・再生産でない fact10: その中央預金保険会社は読み難いということはない fact11: もし仮になにかは維持・再生産でないとすると七百七十一Ｒであるということはない fact12: もし仮にあの血流増加が七百七十一Ｒでないならばその中央預金保険会社は麗しない fact13: その日本化学療法学会は麗しない ; $hypothesis$ = もし仮にその中央預金保険会社が維持・再生産だということはないとするとあの血流増加は麗しないがしかし読み難い ; $proof$ = 
fact1 -> int1: もしその中央預金保険会社が維持・再生産でないならそれは麗しないししかもそれは七百七十一Ｒであるということはない; void -> assump1: 以下のように仮定する。その中央預金保険会社は維持・再生産でない; int1 & assump1 -> int2: その中央預金保険会社は麗しないし七百七十一Ｒでない; int2 -> int3: その中央預金保険会社は麗しということはない; int3 & fact2 -> int4: あの血流増加は麗しない一方で読み難い; [assump1] & int4 -> hypothesis; __PROVED__
事実1: もし仮にとある物が維持・再生産でないとすればそれは麗しということはないしおまけに七百七十一Ｒでない
事実2: もしその中央預金保険会社が麗しということはないならばあの血流増加は麗しということはないがしかしそれは読み難い
事実3: その中央預金保険会社はうら若しないが平歯車である
事実4: 仮にあの血流増加が七百七十一Ｒだとしたらその中央預金保険会社は読み難くないがしかしそれは麗し
事実5: もしあの血流増加が維持・再生産でないならばその中央預金保険会社は読み難くない一方でそれは七百七十一Ｒだ
事実6: もし仮にその中央預金保険会社が維持・再生産であるならばあの血流増加は麗しないけれど読み難い
事実7: 仮に「なにかは維持・再生産であるかまたは取り下げる」ということは成り立たないならば「読み難くない」ということは本当だ
事実8: もしもその中央預金保険会社が維持・再生産だということはないとすればあの血流増加が麗ししその上読み難い
事実9: もしもあの血流増加が麗しないなら七百七十一Ｒでないしかつ維持・再生産でない
事実10: その中央預金保険会社は読み難いということはない
事実11: もし仮になにかは維持・再生産でないとすると七百七十一Ｒであるということはない
事実12: もし仮にあの血流増加が七百七十一Ｒでないならばその中央預金保険会社は麗しない
事実13: その日本化学療法学会は麗しない

仮説: もし仮にその中央預金保険会社が維持・再生産だということはないとするとあの血流増加は麗しないがしかし読み難い
1. 事実1から、推論1: "もしその中央預金保険会社が維持・再生産でないならそれは麗しないししかもそれは七百七十一Ｒであるということはない"が導かれる
2. 仮定1: 以下のように仮定する。その中央預金保険会社は維持・再生産でない
3. 推論1と仮定1から、推論2: "その中央預金保険会社は麗しないし七百七十一Ｒでない"が導かれる
4. 推論2から、推論3: "その中央預金保険会社は麗しということはない"が導かれる
5. 推論3と事実2から、推論4: "あの血流増加は麗しない一方で読み難い"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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