「「もし仮に「歩き辛いということはないかまたは成就指数でない」ということは偽であるとすると見定めない」ものはある」ということは誤っている
fact1: 「仮に「その諸段階は歩き辛くないかあるいは成就指数であるかまたは両方だ」ということは成り立たないとするとその諸段階は見定めない」ということは成り立つ fact2: 「「なにがしかの物は歩き辛くないかもしくは成就指数であるかあるいは両方だ」ということは確かである」ということは嘘ならそれは見定めない fact3: 仮に「何かは水っぽくないかもしくは濃度勾配でないかまたは両方ともである」ということは成り立たないとすればそれは組織改正でない fact4: もし「ある物は歩き辛くないかあるいは成就指数であるということはない」ということは成り立つということはないとするとそれは見定めない fact5: 仮に「なにかはＭ夫人であるかまたは生着しないかあるいは両方ともである」ということは間違いだとすると切断しない fact6: もし仮に「何らかのものは出会えないかもしくはだらし無くないか両方である」ということは成り立たないとするとそれは跳ねる fact7: もし「なんらかの物は寄り付くということはないかまたはそれは訪れるということはないかまたは両方ともだ」ということは事実と異なるとすると館長でない fact8: 「何らかのものは中央突破でないか給しないかまたは両方ともである」ということは嘘だとすればそれは現われ易くない fact9: もし「その諸段階は娘らしくないかまたは圧縮しないかもしくは両方ともである」ということは成り立たないならば見定める fact10: 「ある物は歩き辛くないかまたはそれは成就指数であるということはないかまたは両方ともだ」ということは成り立つということはないなら「それは見定める」ということは事実だ fact11: 「とあるものは険しかないかそれはおっきくないかもしくはどちらもだ」ということは間違いだとすればそれは乗り易くない fact12: 「もし仮に暮らし易いということはないかもしくは小狡くないかあるいはどちらもならば捨て難いということはない」物はある fact13: もし「「なんらかの物は指示しないかもしくはそれは強奪しない」ということは確かだ」ということは成り立たないとすれば「それは匂い立つ」ということは成り立つ
fact4 -> int1: 仮に「その諸段階は歩き辛くないかそれは成就指数だということはないかどちらもである」ということは間違っているとすればそれは見定めない; int1 -> hypothesis;
fact4 -> int1: ¬(¬{AA}{aa} v ¬{AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis;
$facts$ = fact1: 「仮に「その諸段階は歩き辛くないかあるいは成就指数であるかまたは両方だ」ということは成り立たないとするとその諸段階は見定めない」ということは成り立つ fact2: 「「なにがしかの物は歩き辛くないかもしくは成就指数であるかあるいは両方だ」ということは確かである」ということは嘘ならそれは見定めない fact3: 仮に「何かは水っぽくないかもしくは濃度勾配でないかまたは両方ともである」ということは成り立たないとすればそれは組織改正でない fact4: もし「ある物は歩き辛くないかあるいは成就指数であるということはない」ということは成り立つということはないとするとそれは見定めない fact5: 仮に「なにかはＭ夫人であるかまたは生着しないかあるいは両方ともである」ということは間違いだとすると切断しない fact6: もし仮に「何らかのものは出会えないかもしくはだらし無くないか両方である」ということは成り立たないとするとそれは跳ねる fact7: もし「なんらかの物は寄り付くということはないかまたはそれは訪れるということはないかまたは両方ともだ」ということは事実と異なるとすると館長でない fact8: 「何らかのものは中央突破でないか給しないかまたは両方ともである」ということは嘘だとすればそれは現われ易くない fact9: もし「その諸段階は娘らしくないかまたは圧縮しないかもしくは両方ともである」ということは成り立たないならば見定める fact10: 「ある物は歩き辛くないかまたはそれは成就指数であるということはないかまたは両方ともだ」ということは成り立つということはないなら「それは見定める」ということは事実だ fact11: 「とあるものは険しかないかそれはおっきくないかもしくはどちらもだ」ということは間違いだとすればそれは乗り易くない fact12: 「もし仮に暮らし易いということはないかもしくは小狡くないかあるいはどちらもならば捨て難いということはない」物はある fact13: もし「「なんらかの物は指示しないかもしくはそれは強奪しない」ということは確かだ」ということは成り立たないとすれば「それは匂い立つ」ということは成り立つ ; $hypothesis$ = 「「もし仮に「歩き辛いということはないかまたは成就指数でない」ということは偽であるとすると見定めない」ものはある」ということは誤っている ; $proof$ = 
fact4 -> int1: 仮に「その諸段階は歩き辛くないかそれは成就指数だということはないかどちらもである」ということは間違っているとすればそれは見定めない; int1 -> hypothesis; __DISPROVED__
事実1: 「仮に「その諸段階は歩き辛くないかあるいは成就指数であるかまたは両方だ」ということは成り立たないとするとその諸段階は見定めない」ということは成り立つ
事実2: 「「なにがしかの物は歩き辛くないかもしくは成就指数であるかあるいは両方だ」ということは確かである」ということは嘘ならそれは見定めない
事実3: 仮に「何かは水っぽくないかもしくは濃度勾配でないかまたは両方ともである」ということは成り立たないとすればそれは組織改正でない
事実4: もし「ある物は歩き辛くないかあるいは成就指数であるということはない」ということは成り立つということはないとするとそれは見定めない
事実5: 仮に「なにかはＭ夫人であるかまたは生着しないかあるいは両方ともである」ということは間違いだとすると切断しない
事実6: もし仮に「何らかのものは出会えないかもしくはだらし無くないか両方である」ということは成り立たないとするとそれは跳ねる
事実7: もし「なんらかの物は寄り付くということはないかまたはそれは訪れるということはないかまたは両方ともだ」ということは事実と異なるとすると館長でない
事実8: 「何らかのものは中央突破でないか給しないかまたは両方ともである」ということは嘘だとすればそれは現われ易くない
事実9: もし「その諸段階は娘らしくないかまたは圧縮しないかもしくは両方ともである」ということは成り立たないならば見定める
事実10: 「ある物は歩き辛くないかまたはそれは成就指数であるということはないかまたは両方ともだ」ということは成り立つということはないなら「それは見定める」ということは事実だ
事実11: 「とあるものは険しかないかそれはおっきくないかもしくはどちらもだ」ということは間違いだとすればそれは乗り易くない
事実12: 「もし仮に暮らし易いということはないかもしくは小狡くないかあるいはどちらもならば捨て難いということはない」物はある
事実13: もし「「なんらかの物は指示しないかもしくはそれは強奪しない」ということは確かだ」ということは成り立たないとすれば「それは匂い立つ」ということは成り立つ

仮説: 「「もし仮に「歩き辛いということはないかまたは成就指数でない」ということは偽であるとすると見定めない」ものはある」ということは誤っている
1. 事実4から、推論1: "仮に「その諸段階は歩き辛くないかそれは成就指数だということはないかどちらもである」ということは間違っているとすればそれは見定めない"が導かれる
2. 推論1から、仮説が否定される

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