あのライティングは解決出来ない
fact1: もしも「あのライティングは燃え易い」ということは確かならば「判断し難い」ということは偽だということはない fact2: あの予防戦争は解決出来る fact3: もしも何かはしこり立つかまたは上がらないかまたはどちらもであるならばしこり立つ fact4: あのライティングは間断無いしおまけにそれは河水だ fact5: 仮に「「その渚はアップルボリュームＳであるししかも解決出来る」ということは成り立つ」ということは誤っているとすれば「あのライティングは解決出来ない」ということは成り立つ fact6: あのライティングはアップルボリュームＳである fact7: あのライティングは説き始めるしかつアップルボリュームＳだ fact8: 仮になんらかのものが説き始めるなら解決出来る fact9: その渚が説き始めないしさらにそれがアップルボリュームＳでないとすればあのライティングは解決出来ない fact10: もし仮になんらかのものは説き始めないとすれば「アップルボリュームＳで解決出来る」ということは成り立つということはない fact11: 仮にあの我見が変動しないとするとこの余裕資金はしこり立つかまたは上がらない fact12: あのライティングは分かれる
fact7 -> int1: あのライティングは説き始める; fact8 -> int2: もし仮にあのライティングが説き始めれば解決出来る; int1 & int2 -> hypothesis;
fact7 -> int1: {A}{a}; fact8 -> int2: {A}{a} -> {C}{a}; int1 & int2 -> hypothesis;
あのライティングは解決出来ない
fact14 -> int3: もし仮にこの余裕資金はしこり立つかもしくは上がるということはないならばそれはしこり立つ;
$facts$ = fact1: もしも「あのライティングは燃え易い」ということは確かならば「判断し難い」ということは偽だということはない fact2: あの予防戦争は解決出来る fact3: もしも何かはしこり立つかまたは上がらないかまたはどちらもであるならばしこり立つ fact4: あのライティングは間断無いしおまけにそれは河水だ fact5: 仮に「「その渚はアップルボリュームＳであるししかも解決出来る」ということは成り立つ」ということは誤っているとすれば「あのライティングは解決出来ない」ということは成り立つ fact6: あのライティングはアップルボリュームＳである fact7: あのライティングは説き始めるしかつアップルボリュームＳだ fact8: 仮になんらかのものが説き始めるなら解決出来る fact9: その渚が説き始めないしさらにそれがアップルボリュームＳでないとすればあのライティングは解決出来ない fact10: もし仮になんらかのものは説き始めないとすれば「アップルボリュームＳで解決出来る」ということは成り立つということはない fact11: 仮にあの我見が変動しないとするとこの余裕資金はしこり立つかまたは上がらない fact12: あのライティングは分かれる ; $hypothesis$ = あのライティングは解決出来ない ; $proof$ = 
fact7 -> int1: あのライティングは説き始める; fact8 -> int2: もし仮にあのライティングが説き始めれば解決出来る; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしも「あのライティングは燃え易い」ということは確かならば「判断し難い」ということは偽だということはない
事実2: あの予防戦争は解決出来る
事実3: もしも何かはしこり立つかまたは上がらないかまたはどちらもであるならばしこり立つ
事実4: あのライティングは間断無いしおまけにそれは河水だ
事実5: 仮に「「その渚はアップルボリュームＳであるししかも解決出来る」ということは成り立つ」ということは誤っているとすれば「あのライティングは解決出来ない」ということは成り立つ
事実6: あのライティングはアップルボリュームＳである
事実7: あのライティングは説き始めるしかつアップルボリュームＳだ
事実8: 仮になんらかのものが説き始めるなら解決出来る
事実9: その渚が説き始めないしさらにそれがアップルボリュームＳでないとすればあのライティングは解決出来ない
事実10: もし仮になんらかのものは説き始めないとすれば「アップルボリュームＳで解決出来る」ということは成り立つということはない
事実11: 仮にあの我見が変動しないとするとこの余裕資金はしこり立つかまたは上がらない
事実12: あのライティングは分かれる

仮説: あのライティングは解決出来ない
1. 事実7から、推論1: "あのライティングは説き始める"が導かれる
2. 事実8から、推論2: "もし仮にあのライティングが説き始めれば解決出来る"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。