この同鉱は平釜であるがＢ周辺だということはない
fact1: もし仮に「なにがしかのものは信じ易くないか御寒い」ということは誤っているとすればそれは向かない fact2: この男性同士はし過ぎない fact3: 仮にこの男性同士はし過ぎるということはないとすれば「それは信じ易くないかまたは御寒いかもしくはどちらもだ」ということは誤っている fact4: あの受け取りが生け捕りであるならばこの同鉱は平釜であるがしかしＢ周辺でない fact5: もし何らかの物は生け捕りだとすれば「それは平釜だがＢ周辺でない」ということは間違っている fact6: あの受け取りは生け捕りであるとすると「この同鉱は平釜でない」ということは成り立たない fact7: もしこの男性同士は向かないとすれば「あの受け取りは向く一方で日清紡でない」ということは事実と異なる fact8: 「あるものは向くが日清紡でない」ということは誤りならば生け捕りである fact9: 「この男性同士はし過ぎない」ということは確かだとするとそれは御寒くない
fact1 -> int1: もしも「この男性同士は信じ易くないか御寒い」ということは成り立つということはないとすれば向かない; fact3 & fact2 -> int2: 「この男性同士は信じ易くないかまたは御寒い」ということは成り立たない; int1 & int2 -> int3: 「この男性同士は向かない」ということは成り立つ; int3 & fact7 -> int4: 「あの受け取りは向く一方で日清紡でない」ということは間違いだ; fact8 -> int5: もし仮に「あの受け取りは向くけれど日清紡でない」ということは誤っているとしたら生け捕りだ; int4 & int5 -> int6: あの受け取りは生け捕りだ; int6 & fact4 -> hypothesis;
「この同鉱は平釜である一方でＢ周辺でない」ということは偽である
fact10 -> int7: もし仮にこの同鉱は生け捕りであるとすると「平釜だけれどＢ周辺だということはない」ということは成り立たない;
$facts$ = fact1: もし仮に「なにがしかのものは信じ易くないか御寒い」ということは誤っているとすればそれは向かない fact2: この男性同士はし過ぎない fact3: 仮にこの男性同士はし過ぎるということはないとすれば「それは信じ易くないかまたは御寒いかもしくはどちらもだ」ということは誤っている fact4: あの受け取りが生け捕りであるならばこの同鉱は平釜であるがしかしＢ周辺でない fact5: もし何らかの物は生け捕りだとすれば「それは平釜だがＢ周辺でない」ということは間違っている fact6: あの受け取りは生け捕りであるとすると「この同鉱は平釜でない」ということは成り立たない fact7: もしこの男性同士は向かないとすれば「あの受け取りは向く一方で日清紡でない」ということは事実と異なる fact8: 「あるものは向くが日清紡でない」ということは誤りならば生け捕りである fact9: 「この男性同士はし過ぎない」ということは確かだとするとそれは御寒くない ; $hypothesis$ = この同鉱は平釜であるがＢ周辺だということはない ; $proof$ = 
fact1 -> int1: もしも「この男性同士は信じ易くないか御寒い」ということは成り立つということはないとすれば向かない; fact3 & fact2 -> int2: 「この男性同士は信じ易くないかまたは御寒い」ということは成り立たない; int1 & int2 -> int3: 「この男性同士は向かない」ということは成り立つ; int3 & fact7 -> int4: 「あの受け取りは向く一方で日清紡でない」ということは間違いだ; fact8 -> int5: もし仮に「あの受け取りは向くけれど日清紡でない」ということは誤っているとしたら生け捕りだ; int4 & int5 -> int6: あの受け取りは生け捕りだ; int6 & fact4 -> hypothesis; __PROVED__
事実1: もし仮に「なにがしかのものは信じ易くないか御寒い」ということは誤っているとすればそれは向かない
事実2: この男性同士はし過ぎない
事実3: 仮にこの男性同士はし過ぎるということはないとすれば「それは信じ易くないかまたは御寒いかもしくはどちらもだ」ということは誤っている
事実4: あの受け取りが生け捕りであるならばこの同鉱は平釜であるがしかしＢ周辺でない
事実5: もし何らかの物は生け捕りだとすれば「それは平釜だがＢ周辺でない」ということは間違っている
事実6: あの受け取りは生け捕りであるとすると「この同鉱は平釜でない」ということは成り立たない
事実7: もしこの男性同士は向かないとすれば「あの受け取りは向く一方で日清紡でない」ということは事実と異なる
事実8: 「あるものは向くが日清紡でない」ということは誤りならば生け捕りである
事実9: 「この男性同士はし過ぎない」ということは確かだとするとそれは御寒くない

仮説: この同鉱は平釜であるがＢ周辺だということはない
1. 事実1から、推論1: "もしも「この男性同士は信じ易くないか御寒い」ということは成り立つということはないとすれば向かない"が導かれる
2. 事実3と事実2から、推論2: "「この男性同士は信じ易くないかまたは御寒い」ということは成り立たない"が導かれる
3. 推論1と推論2から、推論3: "「この男性同士は向かない」ということは成り立つ"が導かれる
4. 推論3と事実7から、推論4: "「あの受け取りは向く一方で日清紡でない」ということは間違いだ"が導かれる
5. 事実8から、推論5: "もし仮に「あの受け取りは向くけれど日清紡でない」ということは誤っているとしたら生け捕りだ"が導かれる
6. 推論4と推論5から、推論6: "あの受け取りは生け捕りだ"が導かれる
7. 推論6と事実4から、仮説が導かれる

よって、仮説が証明されました。