「この連結法人株式は念願しなくてまたそれは差し替えであるということはない」ということは成り立たない
fact1: もしも「なにかは通行出来ないかあるいはそれは使い辛いかまたは両方ともである」ということは間違いであるなら念願しない fact2: 「なんらかのものは差し替えでないかもしくはそれは歴訪するかまたは両方ともである」ということは事実と異なるとしたら味気無くない fact3: 「「その中級コースは悔しくないしその上味気無くない」ということは成り立つ」ということは間違いだ fact4: 「その中級コースは悔しいけど味気無くない」ということは成り立つということはない fact5: 「悔しいということはないし加えて味気無くない」ものはある fact6: 「「悔しいし更に味気無くない」ということは成り立たない」物はある fact7: もしもこの連結法人株式は歴訪するとしたら「使い辛くない」ということは真実だ fact8: なんらかのものは歴訪しないとすると「念願しなくて差し替えでない」ということは間違いである fact9: この連結法人株式は歴訪する fact10: 仮に「「味気無いということはないし差し替えでない」ということは成り立たない」物があるとしたらこの連結法人株式は使い辛くない fact11: 「この連結法人株式は悔しくなくて更に取り過ぎない」ということは誤りである fact12: 「「歴訪するということはないし味気無いということはない」ということは事実でない」物はある fact13: あの地上は使い辛い fact14: もし「悔しい」ものがあればこの連結法人株式は差し替えでない fact15: もし「「悔しくなくて加えて味気無いということはない」ということは嘘である」物があればこの連結法人株式は差し替えでない fact16: 仮に「なにがしかのものは通行出来ないか歴訪するかどちらもだ」ということは間違っているならそれは使い辛くない fact17: 「「悔しくないし味気無い」ということは事実でない」物はある fact18: もしその中級コースが間欠だということはないならば悔しくないが味気無い fact19: もしもこの連結法人株式は歴訪すれば「「それは通行出来ないかあるいはそれは使い辛い」ということは真実である」ということは誤っている fact20: この連結法人株式は使い辛いということはない fact21: 「「「ネームバリューでなくて加えて冒険出来ない」ということは確かである」ということは成り立たない」ものはある
fact1 -> int1: もし仮に「この連結法人株式は通行出来ないかまたはそれは使い辛い」ということは誤っていれば念願しない; fact9 & fact19 -> int2: 「この連結法人株式は通行出来ないかそれは使い辛いかあるいは両方ともだ」ということは成り立たない; int1 & int2 -> int3: 「この連結法人株式は念願しない」ということは真実だ; fact3 -> int4: 「「悔しくなくて味気無くない」ということは成り立たない」物はある; int4 & fact15 -> int5: この連結法人株式は差し替えでない; int3 & int5 -> hypothesis;
fact1 -> int1: ¬(¬{AA}{aa} v {AB}{aa}) -> ¬{B}{aa}; fact9 & fact19 -> int2: ¬(¬{AA}{aa} v {AB}{aa}); int1 & int2 -> int3: ¬{B}{aa}; fact3 -> int4: (Ex): ¬(¬{D}x & ¬{E}x); int4 & fact15 -> int5: ¬{A}{aa}; int3 & int5 -> hypothesis;
「この連結法人株式は念願しないし加えて差し替えでない」ということは嘘だ
fact23 -> int6: この連結法人株式は歴訪するということはないとしたら「念願しなくておまけに差し替えであるということはない」ということは間違いである;
$facts$ = fact1: もしも「なにかは通行出来ないかあるいはそれは使い辛いかまたは両方ともである」ということは間違いであるなら念願しない fact2: 「なんらかのものは差し替えでないかもしくはそれは歴訪するかまたは両方ともである」ということは事実と異なるとしたら味気無くない fact3: 「「その中級コースは悔しくないしその上味気無くない」ということは成り立つ」ということは間違いだ fact4: 「その中級コースは悔しいけど味気無くない」ということは成り立つということはない fact5: 「悔しいということはないし加えて味気無くない」ものはある fact6: 「「悔しいし更に味気無くない」ということは成り立たない」物はある fact7: もしもこの連結法人株式は歴訪するとしたら「使い辛くない」ということは真実だ fact8: なんらかのものは歴訪しないとすると「念願しなくて差し替えでない」ということは間違いである fact9: この連結法人株式は歴訪する fact10: 仮に「「味気無いということはないし差し替えでない」ということは成り立たない」物があるとしたらこの連結法人株式は使い辛くない fact11: 「この連結法人株式は悔しくなくて更に取り過ぎない」ということは誤りである fact12: 「「歴訪するということはないし味気無いということはない」ということは事実でない」物はある fact13: あの地上は使い辛い fact14: もし「悔しい」ものがあればこの連結法人株式は差し替えでない fact15: もし「「悔しくなくて加えて味気無いということはない」ということは嘘である」物があればこの連結法人株式は差し替えでない fact16: 仮に「なにがしかのものは通行出来ないか歴訪するかどちらもだ」ということは間違っているならそれは使い辛くない fact17: 「「悔しくないし味気無い」ということは事実でない」物はある fact18: もしその中級コースが間欠だということはないならば悔しくないが味気無い fact19: もしもこの連結法人株式は歴訪すれば「「それは通行出来ないかあるいはそれは使い辛い」ということは真実である」ということは誤っている fact20: この連結法人株式は使い辛いということはない fact21: 「「「ネームバリューでなくて加えて冒険出来ない」ということは確かである」ということは成り立たない」ものはある ; $hypothesis$ = 「この連結法人株式は念願しなくてまたそれは差し替えであるということはない」ということは成り立たない ; $proof$ = 
fact1 -> int1: もし仮に「この連結法人株式は通行出来ないかまたはそれは使い辛い」ということは誤っていれば念願しない; fact9 & fact19 -> int2: 「この連結法人株式は通行出来ないかそれは使い辛いかあるいは両方ともだ」ということは成り立たない; int1 & int2 -> int3: 「この連結法人株式は念願しない」ということは真実だ; fact3 -> int4: 「「悔しくなくて味気無くない」ということは成り立たない」物はある; int4 & fact15 -> int5: この連結法人株式は差し替えでない; int3 & int5 -> hypothesis; __DISPROVED__
事実1: もしも「なにかは通行出来ないかあるいはそれは使い辛いかまたは両方ともである」ということは間違いであるなら念願しない
事実2: 「なんらかのものは差し替えでないかもしくはそれは歴訪するかまたは両方ともである」ということは事実と異なるとしたら味気無くない
事実3: 「「その中級コースは悔しくないしその上味気無くない」ということは成り立つ」ということは間違いだ
事実4: 「その中級コースは悔しいけど味気無くない」ということは成り立つということはない
事実5: 「悔しいということはないし加えて味気無くない」ものはある
事実6: 「「悔しいし更に味気無くない」ということは成り立たない」物はある
事実7: もしもこの連結法人株式は歴訪するとしたら「使い辛くない」ということは真実だ
事実8: なんらかのものは歴訪しないとすると「念願しなくて差し替えでない」ということは間違いである
事実9: この連結法人株式は歴訪する
事実10: 仮に「「味気無いということはないし差し替えでない」ということは成り立たない」物があるとしたらこの連結法人株式は使い辛くない
事実11: 「この連結法人株式は悔しくなくて更に取り過ぎない」ということは誤りである
事実12: 「「歴訪するということはないし味気無いということはない」ということは事実でない」物はある
事実13: あの地上は使い辛い
事実14: もし「悔しい」ものがあればこの連結法人株式は差し替えでない
事実15: もし「「悔しくなくて加えて味気無いということはない」ということは嘘である」物があればこの連結法人株式は差し替えでない
事実16: 仮に「なにがしかのものは通行出来ないか歴訪するかどちらもだ」ということは間違っているならそれは使い辛くない
事実17: 「「悔しくないし味気無い」ということは事実でない」物はある
事実18: もしその中級コースが間欠だということはないならば悔しくないが味気無い
事実19: もしもこの連結法人株式は歴訪すれば「「それは通行出来ないかあるいはそれは使い辛い」ということは真実である」ということは誤っている
事実20: この連結法人株式は使い辛いということはない
事実21: 「「「ネームバリューでなくて加えて冒険出来ない」ということは確かである」ということは成り立たない」ものはある

仮説: 「この連結法人株式は念願しなくてまたそれは差し替えであるということはない」ということは成り立たない
1. 事実1から、推論1: "もし仮に「この連結法人株式は通行出来ないかまたはそれは使い辛い」ということは誤っていれば念願しない"が導かれる
2. 事実9と事実19から、推論2: "「この連結法人株式は通行出来ないかそれは使い辛いかあるいは両方ともだ」ということは成り立たない"が導かれる
3. 推論1と推論2から、推論3: "「この連結法人株式は念願しない」ということは真実だ"が導かれる
4. 事実3から、推論4: "「「悔しくなくて味気無くない」ということは成り立たない」物はある"が導かれる
5. 推論4と事実15から、推論5: "この連結法人株式は差し替えでない"が導かれる
6. 推論3と推論5から、仮説が否定される

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