「「もしも入手し易いならば「戻し易くないかもしくは柔いということはない」ということは成り立たない」ものはある」ということは事実と異なる
fact1: 入手し易いものは戻し易くないか柔いということはないかまたは両方である fact2: 仮にある物は弱しなら「演習問題でないかまたは柔くないかあるいは両方ともである」ということは誤りである fact3: 「仮に入手し易いならば「戻し易いかまたは柔くないかまたはどちらもだ」ということは確かでない」ものはある fact4: もしあの労働契約関係は入手し易いとすると「戻し易い」ということは成り立つ fact5: 「仮に入手し易いなら柔い」ものはある fact6: もしなにかは入手し易いなら「それは戻し易くないかもしくはそれは柔くないかあるいはどちらもだ」ということは事実と異なる fact7: 何らかの物は聖人達だとすると「測り兼ねらないか正直過ぎないかあるいはどちらもである」ということは誤りである fact8: もしもあの労働契約関係は認知するとすると「それは細碁でないかまたは柔いかあるいは両方だ」ということは事実と異なる
fact6 -> int1: もし「あの労働契約関係は入手し易い」ということは確かならば「戻し易くないかそれは柔いということはない」ということは偽である; int1 -> hypothesis;
fact6 -> int1: {A}{aa} -> ¬(¬{AA}{aa} v ¬{AB}{aa}); int1 -> hypothesis;
もしもあの成長振りは弱しとしたら「演習問題でないか柔くないかまたはどちらもである」ということは間違っている
fact9 -> hypothesis;
$facts$ = fact1: 入手し易いものは戻し易くないか柔いということはないかまたは両方である fact2: 仮にある物は弱しなら「演習問題でないかまたは柔くないかあるいは両方ともである」ということは誤りである fact3: 「仮に入手し易いならば「戻し易いかまたは柔くないかまたはどちらもだ」ということは確かでない」ものはある fact4: もしあの労働契約関係は入手し易いとすると「戻し易い」ということは成り立つ fact5: 「仮に入手し易いなら柔い」ものはある fact6: もしなにかは入手し易いなら「それは戻し易くないかもしくはそれは柔くないかあるいはどちらもだ」ということは事実と異なる fact7: 何らかの物は聖人達だとすると「測り兼ねらないか正直過ぎないかあるいはどちらもである」ということは誤りである fact8: もしもあの労働契約関係は認知するとすると「それは細碁でないかまたは柔いかあるいは両方だ」ということは事実と異なる ; $hypothesis$ = 「「もしも入手し易いならば「戻し易くないかもしくは柔いということはない」ということは成り立たない」ものはある」ということは事実と異なる ; $proof$ = 
fact6 -> int1: もし「あの労働契約関係は入手し易い」ということは確かならば「戻し易くないかそれは柔いということはない」ということは偽である; int1 -> hypothesis; __DISPROVED__
事実1: 入手し易いものは戻し易くないか柔いということはないかまたは両方である
事実2: 仮にある物は弱しなら「演習問題でないかまたは柔くないかあるいは両方ともである」ということは誤りである
事実3: 「仮に入手し易いならば「戻し易いかまたは柔くないかまたはどちらもだ」ということは確かでない」ものはある
事実4: もしあの労働契約関係は入手し易いとすると「戻し易い」ということは成り立つ
事実5: 「仮に入手し易いなら柔い」ものはある
事実6: もしなにかは入手し易いなら「それは戻し易くないかもしくはそれは柔くないかあるいはどちらもだ」ということは事実と異なる
事実7: 何らかの物は聖人達だとすると「測り兼ねらないか正直過ぎないかあるいはどちらもである」ということは誤りである
事実8: もしもあの労働契約関係は認知するとすると「それは細碁でないかまたは柔いかあるいは両方だ」ということは事実と異なる

仮説: 「「もしも入手し易いならば「戻し易くないかもしくは柔いということはない」ということは成り立たない」ものはある」ということは事実と異なる
1. 事実6から、推論1: "もし「あの労働契約関係は入手し易い」ということは確かならば「戻し易くないかそれは柔いということはない」ということは偽である"が導かれる
2. 推論1から、仮説が否定される

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