あのＳ語尾は所狭くないか齧るかあるいは両方だ
fact1: あの製造工程中は学び取らない fact2: あの製造工程中は一徹で歓迎す fact3: あの製造工程中が嵌め込むしその上学び取るとしたらそれは一徹でない fact4: もしもあの製造工程中が学び取るとするとあのＳ語尾は齧る fact5: もしもあの製造工程中が過剰筋緊張だししかも甘ったるいとすればあのＳ語尾は過剰筋緊張でない fact6: もしもあの製造工程中が希有でないとしたらそれは深皿でなくてかつそれは煮える fact7: もし何らかのものが過剰筋緊張でないならそれは一徹であるし加えて歓迎す fact8: 「あの製造工程中は嵌め込むしまた学び取る」ということは偽だ fact9: もしもあの金剛が甘ったるいとしたらあの製造工程中は甘ったるい fact10: 仮になんらかのものは深皿でないとしたら過剰筋緊張であるしその上御勉強する fact11: 仮にあの製造工程中は齧るということはないなら「「それは一徹でないしその上それは歓迎すらない」ということは真実である」ということは偽である fact12: あの製造工程中は希有でない fact13: 「あのＳ語尾は所狭しかあるいは齧るか両方ともだ」ということは成り立つ fact14: あの製造工程中は嵌め込むけれど学び取らないとしたら一徹でない fact15: 「あの製造工程中は嵌め込む一方で学び取らない」ということは確かだということはないとするとあのＳ語尾は齧る fact16: もしとある物は一徹であるとすれば「「それは所狭くないかあるいは齧る」ということは事実だ」ということは間違いだ fact17: あの製造工程中は一徹でないかあるいは所狭しかあるいは両方である fact18: あの製造工程中は歓迎す
void -> assump1: 以下のように仮定する。あの製造工程中は嵌め込むけれど学び取らない; fact14 & assump1 -> int1: あの製造工程中は一徹でない; fact2 -> int2: あの製造工程中は一徹だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの製造工程中は嵌め込むがそれは学び取らない」ということは成り立たない; int4 & fact15 -> int5: 「あのＳ語尾は齧る」ということは誤りでない; int5 -> hypothesis;
「あのＳ語尾は所狭くないかあるいはそれは齧るかあるいはどちらもだ」ということは誤っている
fact25 -> int6: もしもあのＳ語尾は一徹であるとすると「所狭くないかそれは齧る」ということは成り立たない; fact20 -> int7: もし仮にあのＳ語尾が過剰筋緊張でないとしたら一徹だし歓迎す; fact19 -> int8: あの製造工程中が深皿であるということはないなら過剰筋緊張だし御勉強する; fact21 & fact23 -> int9: あの製造工程中は深皿であるということはないけれどそれは煮える; int9 -> int10: あの製造工程中は深皿でない; int8 & int10 -> int11: あの製造工程中は過剰筋緊張であるし御勉強する; int11 -> int12: あの製造工程中は過剰筋緊張である;
$facts$ = fact1: あの製造工程中は学び取らない fact2: あの製造工程中は一徹で歓迎す fact3: あの製造工程中が嵌め込むしその上学び取るとしたらそれは一徹でない fact4: もしもあの製造工程中が学び取るとするとあのＳ語尾は齧る fact5: もしもあの製造工程中が過剰筋緊張だししかも甘ったるいとすればあのＳ語尾は過剰筋緊張でない fact6: もしもあの製造工程中が希有でないとしたらそれは深皿でなくてかつそれは煮える fact7: もし何らかのものが過剰筋緊張でないならそれは一徹であるし加えて歓迎す fact8: 「あの製造工程中は嵌め込むしまた学び取る」ということは偽だ fact9: もしもあの金剛が甘ったるいとしたらあの製造工程中は甘ったるい fact10: 仮になんらかのものは深皿でないとしたら過剰筋緊張であるしその上御勉強する fact11: 仮にあの製造工程中は齧るということはないなら「「それは一徹でないしその上それは歓迎すらない」ということは真実である」ということは偽である fact12: あの製造工程中は希有でない fact13: 「あのＳ語尾は所狭しかあるいは齧るか両方ともだ」ということは成り立つ fact14: あの製造工程中は嵌め込むけれど学び取らないとしたら一徹でない fact15: 「あの製造工程中は嵌め込む一方で学び取らない」ということは確かだということはないとするとあのＳ語尾は齧る fact16: もしとある物は一徹であるとすれば「「それは所狭くないかあるいは齧る」ということは事実だ」ということは間違いだ fact17: あの製造工程中は一徹でないかあるいは所狭しかあるいは両方である fact18: あの製造工程中は歓迎す ; $hypothesis$ = あのＳ語尾は所狭くないか齧るかあるいは両方だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの製造工程中は嵌め込むけれど学び取らない; fact14 & assump1 -> int1: あの製造工程中は一徹でない; fact2 -> int2: あの製造工程中は一徹だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの製造工程中は嵌め込むがそれは学び取らない」ということは成り立たない; int4 & fact15 -> int5: 「あのＳ語尾は齧る」ということは誤りでない; int5 -> hypothesis; __PROVED__
事実1: あの製造工程中は学び取らない
事実2: あの製造工程中は一徹で歓迎す
事実3: あの製造工程中が嵌め込むしその上学び取るとしたらそれは一徹でない
事実4: もしもあの製造工程中が学び取るとするとあのＳ語尾は齧る
事実5: もしもあの製造工程中が過剰筋緊張だししかも甘ったるいとすればあのＳ語尾は過剰筋緊張でない
事実6: もしもあの製造工程中が希有でないとしたらそれは深皿でなくてかつそれは煮える
事実7: もし何らかのものが過剰筋緊張でないならそれは一徹であるし加えて歓迎す
事実8: 「あの製造工程中は嵌め込むしまた学び取る」ということは偽だ
事実9: もしもあの金剛が甘ったるいとしたらあの製造工程中は甘ったるい
事実10: 仮になんらかのものは深皿でないとしたら過剰筋緊張であるしその上御勉強する
事実11: 仮にあの製造工程中は齧るということはないなら「「それは一徹でないしその上それは歓迎すらない」ということは真実である」ということは偽である
事実12: あの製造工程中は希有でない
事実13: 「あのＳ語尾は所狭しかあるいは齧るか両方ともだ」ということは成り立つ
事実14: あの製造工程中は嵌め込むけれど学び取らないとしたら一徹でない
事実15: 「あの製造工程中は嵌め込む一方で学び取らない」ということは確かだということはないとするとあのＳ語尾は齧る
事実16: もしとある物は一徹であるとすれば「「それは所狭くないかあるいは齧る」ということは事実だ」ということは間違いだ
事実17: あの製造工程中は一徹でないかあるいは所狭しかあるいは両方である
事実18: あの製造工程中は歓迎す

仮説: あのＳ語尾は所狭くないか齧るかあるいは両方だ
1. 仮定1: 以下のように仮定する。あの製造工程中は嵌め込むけれど学び取らない
2. 事実14と仮定1から、推論1: "あの製造工程中は一徹でない"が導かれる
3. 事実2から、推論2: "あの製造工程中は一徹だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「あの製造工程中は嵌め込むがそれは学び取らない」ということは成り立たない"が導かれる
6. 推論4と事実15から、推論5: "「あのＳ語尾は齧る」ということは誤りでない"が導かれる
7. 推論5から、仮説が導かれる

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