「この稲置は蹌踉けるないしさらに飛び上がれるということはない」ということは成り立たない
fact1: その移動方向は右利きでない fact2: もしなんらかの物は恐ろしいとすれば「進み出す」ということは確かだ fact3: その遮水工封じ込めは運転し易くない fact4: もし仮に「「この稲置はニューエコノミーでない」ということは成り立つ」ということは間違いだとすると「飛び上がれない」ということは事実だ fact5: もしその遮水工封じ込めが運転し易い一方でそれが正食でないならこの稲置は運転し易くない fact6: この姉別南はカナダ国民でない fact7: もしもこの姉別南がカナダ国民でないなら恐ろしいかあるいはそれは生々しい fact8: もし仮に「とあるものは運転し易くないし更に罷り越さない」ということは偽であるなら「それは運転し易い」ということは成り立つ fact9: 「もしもその遮水工封じ込めが蹌踉けるないならばこの稲置は水っぽくない」ということは本当だ fact10: もしも「その遮水工封じ込めは運転し易くない」ということは本当であるならば「堪り易いがしかし水っぽくない」ということは確かでない fact11: もし仮にこの姉別南が恐ろしいとすればあの入宋は恐ろしい fact12: もし仮になにかは運転し易くないとすると「蹌踉けるということはないし飛び上がれない」ということは成り立たない fact13: その遮水工封じ込めが飛び上がれれば堪り易いしかつそれは水っぽくない fact14: もし「そのＩＦＯＲは運転し易くないけど蹌踉ける」ということは事実でないとしたらそれは運転し易い fact15: もしその遮水工封じ込めが飛び上がれないとするとこの稲置は蹌踉けるないしそれに飛び上がれない fact16: もしもその入宋が進み出せばその遮水工封じ込めは正食でないけれど着払いである
void -> assump1: 以下のように仮定する。「その遮水工封じ込めは飛び上がれる」ということは誤っているということはない; fact13 & assump1 -> int1: その遮水工封じ込めは堪り易いけれど水っぽくない; fact10 & fact3 -> int2: 「その遮水工封じ込めは堪り易いけれど水っぽくない」ということは本当だということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その遮水工封じ込めは飛び上がれない; int4 & fact15 -> hypothesis;
そのＩＦＯＲは運転し易い
$facts$ = fact1: その移動方向は右利きでない fact2: もしなんらかの物は恐ろしいとすれば「進み出す」ということは確かだ fact3: その遮水工封じ込めは運転し易くない fact4: もし仮に「「この稲置はニューエコノミーでない」ということは成り立つ」ということは間違いだとすると「飛び上がれない」ということは事実だ fact5: もしその遮水工封じ込めが運転し易い一方でそれが正食でないならこの稲置は運転し易くない fact6: この姉別南はカナダ国民でない fact7: もしもこの姉別南がカナダ国民でないなら恐ろしいかあるいはそれは生々しい fact8: もし仮に「とあるものは運転し易くないし更に罷り越さない」ということは偽であるなら「それは運転し易い」ということは成り立つ fact9: 「もしもその遮水工封じ込めが蹌踉けるないならばこの稲置は水っぽくない」ということは本当だ fact10: もしも「その遮水工封じ込めは運転し易くない」ということは本当であるならば「堪り易いがしかし水っぽくない」ということは確かでない fact11: もし仮にこの姉別南が恐ろしいとすればあの入宋は恐ろしい fact12: もし仮になにかは運転し易くないとすると「蹌踉けるということはないし飛び上がれない」ということは成り立たない fact13: その遮水工封じ込めが飛び上がれれば堪り易いしかつそれは水っぽくない fact14: もし「そのＩＦＯＲは運転し易くないけど蹌踉ける」ということは事実でないとしたらそれは運転し易い fact15: もしその遮水工封じ込めが飛び上がれないとするとこの稲置は蹌踉けるないしそれに飛び上がれない fact16: もしもその入宋が進み出せばその遮水工封じ込めは正食でないけれど着払いである ; $hypothesis$ = 「この稲置は蹌踉けるないしさらに飛び上がれるということはない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その遮水工封じ込めは飛び上がれる」ということは誤っているということはない; fact13 & assump1 -> int1: その遮水工封じ込めは堪り易いけれど水っぽくない; fact10 & fact3 -> int2: 「その遮水工封じ込めは堪り易いけれど水っぽくない」ということは本当だということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その遮水工封じ込めは飛び上がれない; int4 & fact15 -> hypothesis; __DISPROVED__
事実1: その移動方向は右利きでない
事実2: もしなんらかの物は恐ろしいとすれば「進み出す」ということは確かだ
事実3: その遮水工封じ込めは運転し易くない
事実4: もし仮に「「この稲置はニューエコノミーでない」ということは成り立つ」ということは間違いだとすると「飛び上がれない」ということは事実だ
事実5: もしその遮水工封じ込めが運転し易い一方でそれが正食でないならこの稲置は運転し易くない
事実6: この姉別南はカナダ国民でない
事実7: もしもこの姉別南がカナダ国民でないなら恐ろしいかあるいはそれは生々しい
事実8: もし仮に「とあるものは運転し易くないし更に罷り越さない」ということは偽であるなら「それは運転し易い」ということは成り立つ
事実9: 「もしもその遮水工封じ込めが蹌踉けるないならばこの稲置は水っぽくない」ということは本当だ
事実10: もしも「その遮水工封じ込めは運転し易くない」ということは本当であるならば「堪り易いがしかし水っぽくない」ということは確かでない
事実11: もし仮にこの姉別南が恐ろしいとすればあの入宋は恐ろしい
事実12: もし仮になにかは運転し易くないとすると「蹌踉けるということはないし飛び上がれない」ということは成り立たない
事実13: その遮水工封じ込めが飛び上がれれば堪り易いしかつそれは水っぽくない
事実14: もし「そのＩＦＯＲは運転し易くないけど蹌踉ける」ということは事実でないとしたらそれは運転し易い
事実15: もしその遮水工封じ込めが飛び上がれないとするとこの稲置は蹌踉けるないしそれに飛び上がれない
事実16: もしもその入宋が進み出せばその遮水工封じ込めは正食でないけれど着払いである

仮説: 「この稲置は蹌踉けるないしさらに飛び上がれるということはない」ということは成り立たない
1. 仮定1: 以下のように仮定する。「その遮水工封じ込めは飛び上がれる」ということは誤っているということはない
2. 事実13と仮定1から、推論1: "その遮水工封じ込めは堪り易いけれど水っぽくない"が導かれる
3. 事実10と事実3から、推論2: "「その遮水工封じ込めは堪り易いけれど水っぽくない」ということは本当だということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その遮水工封じ込めは飛び上がれない"が導かれる
6. 推論4と事実15から、仮説が否定される

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