「その節点拘束は踏み続けないしまたそれは取れ易くない」ということは成り立たない
fact1: その日本人形は女性性でない fact2: その日本人形は踏み続けないとすると「あのラミニンは女性性であるかもしくはそれは行方不明でないかあるいは両方である」ということは嘘だ fact3: 何もかもはハーフコートでない fact4: 「その日本人形は女性性であるということはない」ということは誤りでないなら「あのラミニンは潔しかもしくは天使らしくない」ということは誤っている fact5: 「公共図書館であるかまたは取れ易くないかもしくは両方ともである」ものはある fact6: 「あのラミニンは女性性であるかまたは天使らしくない」ということは嘘である fact7: もしなんらかのものは行方不明でないとすれば「ハーフコートでないけど遠藤家だ」ということは成り立たない fact8: その日本人形は遠藤家である fact9: 仮になにかは行方不明であるとしたらそれは潔しかあるいはそれは天使らしくないかまたは両方ともだ fact10: もしも「何らかの物はハーフコートでないけど遠藤家だ」ということは誤りならば取れ易くない fact11: その節点拘束は女性性でない fact12: もし仮に「あのラミニンは取れ易くない」ということは成り立つとしたらその節点拘束は踏み続けなくてまた取れ易くない fact13: もしも何かは取れ易くないとしたら「それは遠藤家であるしまたそれはハーフコートでない」ということは真実でない fact14: もしも「なんらかのものは天使らしくない」ということは成り立つとしたら「ハーフコートでかつ踏み続ける」ということは間違いである
fact9 -> int1: もし仮にあのラミニンが行方不明であるとすればそれは潔しかもしくは天使らしくないかもしくは両方ともである; void -> assump1: 以下のように仮定する。あのラミニンは行方不明だ; int1 & assump1 -> int2: あのラミニンは潔しかあるいは天使らしいということはない; fact1 & fact4 -> int3: 「あのラミニンは潔しかあるいは天使らしくないかもしくはどちらもである」ということは成り立たない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あのラミニンは行方不明だということはない; fact7 -> int6: あのラミニンは行方不明でないとしたら「ハーフコートでないけど遠藤家だ」ということは本当でない; int5 & int6 -> int7: 「あのラミニンはハーフコートであるということはないけど遠藤家だ」ということは成り立たない; fact10 -> int8: 仮に「あのラミニンはハーフコートでないがしかし遠藤家だ」ということは事実と異なるとすればそれは取れ易くない; int7 & int8 -> int9: あのラミニンは取れ易くない; int9 & fact12 -> hypothesis;
「あのラミニンは第二条件であるかそれは踏み続けないかあるいは両方である」ということは成り立つということはない
fact16 -> int10: もし仮にその節点拘束は取れ易くないとすると「それは遠藤家であるしおまけにハーフコートだということはない」ということは誤りである;
$facts$ = fact1: その日本人形は女性性でない fact2: その日本人形は踏み続けないとすると「あのラミニンは女性性であるかもしくはそれは行方不明でないかあるいは両方である」ということは嘘だ fact3: 何もかもはハーフコートでない fact4: 「その日本人形は女性性であるということはない」ということは誤りでないなら「あのラミニンは潔しかもしくは天使らしくない」ということは誤っている fact5: 「公共図書館であるかまたは取れ易くないかもしくは両方ともである」ものはある fact6: 「あのラミニンは女性性であるかまたは天使らしくない」ということは嘘である fact7: もしなんらかのものは行方不明でないとすれば「ハーフコートでないけど遠藤家だ」ということは成り立たない fact8: その日本人形は遠藤家である fact9: 仮になにかは行方不明であるとしたらそれは潔しかあるいはそれは天使らしくないかまたは両方ともだ fact10: もしも「何らかの物はハーフコートでないけど遠藤家だ」ということは誤りならば取れ易くない fact11: その節点拘束は女性性でない fact12: もし仮に「あのラミニンは取れ易くない」ということは成り立つとしたらその節点拘束は踏み続けなくてまた取れ易くない fact13: もしも何かは取れ易くないとしたら「それは遠藤家であるしまたそれはハーフコートでない」ということは真実でない fact14: もしも「なんらかのものは天使らしくない」ということは成り立つとしたら「ハーフコートでかつ踏み続ける」ということは間違いである ; $hypothesis$ = 「その節点拘束は踏み続けないしまたそれは取れ易くない」ということは成り立たない ; $proof$ = 
fact9 -> int1: もし仮にあのラミニンが行方不明であるとすればそれは潔しかもしくは天使らしくないかもしくは両方ともである; void -> assump1: 以下のように仮定する。あのラミニンは行方不明だ; int1 & assump1 -> int2: あのラミニンは潔しかあるいは天使らしいということはない; fact1 & fact4 -> int3: 「あのラミニンは潔しかあるいは天使らしくないかもしくはどちらもである」ということは成り立たない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あのラミニンは行方不明だということはない; fact7 -> int6: あのラミニンは行方不明でないとしたら「ハーフコートでないけど遠藤家だ」ということは本当でない; int5 & int6 -> int7: 「あのラミニンはハーフコートであるということはないけど遠藤家だ」ということは成り立たない; fact10 -> int8: 仮に「あのラミニンはハーフコートでないがしかし遠藤家だ」ということは事実と異なるとすればそれは取れ易くない; int7 & int8 -> int9: あのラミニンは取れ易くない; int9 & fact12 -> hypothesis; __DISPROVED__
事実1: その日本人形は女性性でない
事実2: その日本人形は踏み続けないとすると「あのラミニンは女性性であるかもしくはそれは行方不明でないかあるいは両方である」ということは嘘だ
事実3: 何もかもはハーフコートでない
事実4: 「その日本人形は女性性であるということはない」ということは誤りでないなら「あのラミニンは潔しかもしくは天使らしくない」ということは誤っている
事実5: 「公共図書館であるかまたは取れ易くないかもしくは両方ともである」ものはある
事実6: 「あのラミニンは女性性であるかまたは天使らしくない」ということは嘘である
事実7: もしなんらかのものは行方不明でないとすれば「ハーフコートでないけど遠藤家だ」ということは成り立たない
事実8: その日本人形は遠藤家である
事実9: 仮になにかは行方不明であるとしたらそれは潔しかあるいはそれは天使らしくないかまたは両方ともだ
事実10: もしも「何らかの物はハーフコートでないけど遠藤家だ」ということは誤りならば取れ易くない
事実11: その節点拘束は女性性でない
事実12: もし仮に「あのラミニンは取れ易くない」ということは成り立つとしたらその節点拘束は踏み続けなくてまた取れ易くない
事実13: もしも何かは取れ易くないとしたら「それは遠藤家であるしまたそれはハーフコートでない」ということは真実でない
事実14: もしも「なんらかのものは天使らしくない」ということは成り立つとしたら「ハーフコートでかつ踏み続ける」ということは間違いである

仮説: 「その節点拘束は踏み続けないしまたそれは取れ易くない」ということは成り立たない
1. 事実9から、推論1: "もし仮にあのラミニンが行方不明であるとすればそれは潔しかもしくは天使らしくないかもしくは両方ともである"が導かれる
2. 仮定1: 以下のように仮定する。あのラミニンは行方不明だ
3. 推論1と仮定1から、推論2: "あのラミニンは潔しかあるいは天使らしいということはない"が導かれる
4. 事実1と事実4から、推論3: "「あのラミニンは潔しかあるいは天使らしくないかもしくはどちらもである」ということは成り立たない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あのラミニンは行方不明だということはない"が導かれる
7. 事実7から、推論6: "あのラミニンは行方不明でないとしたら「ハーフコートでないけど遠藤家だ」ということは本当でない"が導かれる
8. 推論5と推論6から、推論7: "「あのラミニンはハーフコートであるということはないけど遠藤家だ」ということは成り立たない"が導かれる
9. 事実10から、推論8: "仮に「あのラミニンはハーフコートでないがしかし遠藤家だ」ということは事実と異なるとすればそれは取れ易くない"が導かれる
10. 推論7と推論8から、推論9: "あのラミニンは取れ易くない"が導かれる
11. 推論9と事実12から、仮説が否定される

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