「この二十分後は縒り合わせないししかも哨戒するということはない」ということは成り立たない
fact1: もし仮になんらかの物は成立し難くないならば「それは縒り合わせるということはなくて哨戒しない」ということは嘘である fact2: 仮にそのアメリカ以外が成立し難くないとすればこの二十分後は縒り合わせない fact3: この二十分後は縒り合わせないかもしくはべた付き易いかもしくはどちらもであるとすれば上がり易くない fact4: 仮にそのアメリカ以外が縒り合わせないかあるいはそれは成立し難いか両方ともであるとすると哨戒しない fact5: もしもそのアメリカ以外がべた付き易いならそれは成立し難くない fact6: 「この二十分後は縒り合わせない」ということは成り立つ fact7: 「何かは双丘であるし加えて落ち着ける」ということは成り立たないならそれは成立し難くない fact8: もしもそのアメリカ以外が成立し難くないとすればこの二十分後は縒り合わせるということはないしそれは哨戒しない fact9: この二十分後は連絡協議会でないし認定個人情報保護団体だということはない fact10: この監督・管理は勝ち抜き戦でないしさらにべた付き易くない fact11: もし仮にそのアメリカ以外は上がり易くないかまたは縒り合わせるかもしくは両方だとすると哨戒しない fact12: そのアメリカ以外は上がり易くないかもしくはべた付き易い fact13: この二十分後がべた付き易くないとすればそのアメリカ以外は縒り合わせなくてその上成立し難くない fact14: 仮にそのアメリカ以外は上がり易くないかまたはべた付き易いかまたはどちらもであるならそれは成立し難いということはない fact15: この二十分後は申し遅れない fact16: そのアメリカ以外は哨戒しないしさらにべた付き易くない fact17: もしもこの二十分後がべた付き易くないかまたはそれは哨戒するとしたら「それは成立し難くない」ということは正しい
fact14 & fact12 -> int1: そのアメリカ以外は成立し難くない; int1 & fact8 -> hypothesis;
「この二十分後は縒り合わせないしその上それは哨戒しない」ということは成り立たない
fact18 -> int2: もしこの二十分後は成立し難いということはないならば「それは縒り合わせないしそれにそれは哨戒しない」ということは誤りである; fact19 -> int3: もし仮に「この二十分後は双丘であるしかつ落ち着ける」ということは成り立つということはないならそれは成立し難いということはない;
$facts$ = fact1: もし仮になんらかの物は成立し難くないならば「それは縒り合わせるということはなくて哨戒しない」ということは嘘である fact2: 仮にそのアメリカ以外が成立し難くないとすればこの二十分後は縒り合わせない fact3: この二十分後は縒り合わせないかもしくはべた付き易いかもしくはどちらもであるとすれば上がり易くない fact4: 仮にそのアメリカ以外が縒り合わせないかあるいはそれは成立し難いか両方ともであるとすると哨戒しない fact5: もしもそのアメリカ以外がべた付き易いならそれは成立し難くない fact6: 「この二十分後は縒り合わせない」ということは成り立つ fact7: 「何かは双丘であるし加えて落ち着ける」ということは成り立たないならそれは成立し難くない fact8: もしもそのアメリカ以外が成立し難くないとすればこの二十分後は縒り合わせるということはないしそれは哨戒しない fact9: この二十分後は連絡協議会でないし認定個人情報保護団体だということはない fact10: この監督・管理は勝ち抜き戦でないしさらにべた付き易くない fact11: もし仮にそのアメリカ以外は上がり易くないかまたは縒り合わせるかもしくは両方だとすると哨戒しない fact12: そのアメリカ以外は上がり易くないかもしくはべた付き易い fact13: この二十分後がべた付き易くないとすればそのアメリカ以外は縒り合わせなくてその上成立し難くない fact14: 仮にそのアメリカ以外は上がり易くないかまたはべた付き易いかまたはどちらもであるならそれは成立し難いということはない fact15: この二十分後は申し遅れない fact16: そのアメリカ以外は哨戒しないしさらにべた付き易くない fact17: もしもこの二十分後がべた付き易くないかまたはそれは哨戒するとしたら「それは成立し難くない」ということは正しい ; $hypothesis$ = 「この二十分後は縒り合わせないししかも哨戒するということはない」ということは成り立たない ; $proof$ = 
fact14 & fact12 -> int1: そのアメリカ以外は成立し難くない; int1 & fact8 -> hypothesis; __DISPROVED__
事実1: もし仮になんらかの物は成立し難くないならば「それは縒り合わせるということはなくて哨戒しない」ということは嘘である
事実2: 仮にそのアメリカ以外が成立し難くないとすればこの二十分後は縒り合わせない
事実3: この二十分後は縒り合わせないかもしくはべた付き易いかもしくはどちらもであるとすれば上がり易くない
事実4: 仮にそのアメリカ以外が縒り合わせないかあるいはそれは成立し難いか両方ともであるとすると哨戒しない
事実5: もしもそのアメリカ以外がべた付き易いならそれは成立し難くない
事実6: 「この二十分後は縒り合わせない」ということは成り立つ
事実7: 「何かは双丘であるし加えて落ち着ける」ということは成り立たないならそれは成立し難くない
事実8: もしもそのアメリカ以外が成立し難くないとすればこの二十分後は縒り合わせるということはないしそれは哨戒しない
事実9: この二十分後は連絡協議会でないし認定個人情報保護団体だということはない
事実10: この監督・管理は勝ち抜き戦でないしさらにべた付き易くない
事実11: もし仮にそのアメリカ以外は上がり易くないかまたは縒り合わせるかもしくは両方だとすると哨戒しない
事実12: そのアメリカ以外は上がり易くないかもしくはべた付き易い
事実13: この二十分後がべた付き易くないとすればそのアメリカ以外は縒り合わせなくてその上成立し難くない
事実14: 仮にそのアメリカ以外は上がり易くないかまたはべた付き易いかまたはどちらもであるならそれは成立し難いということはない
事実15: この二十分後は申し遅れない
事実16: そのアメリカ以外は哨戒しないしさらにべた付き易くない
事実17: もしもこの二十分後がべた付き易くないかまたはそれは哨戒するとしたら「それは成立し難くない」ということは正しい

仮説: 「この二十分後は縒り合わせないししかも哨戒するということはない」ということは成り立たない
1. 事実14と事実12から、推論1: "そのアメリカ以外は成立し難くない"が導かれる
2. 推論1と事実8から、仮説が否定される

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