その受話は一文でない
fact1: この間接的質問は多過ぎるかあるいは付け易いか両方ともだ fact2: この間接的質問はコベナンツでない fact3: もしも「とある物は低し」ということは事実ならば付け易くない fact4: 仮に「ある物は女中だが靴でない」ということは間違いであるならばそれは靴だ fact5: 「この間接的質問はコベナンツでないしさらにそれは多過ぎるということはない」ということは事実だ fact6: 「この三四人は女中だが靴でない」ということは偽である fact7: もしあのドイツ語圏が低しとすればあの受話は一文でない fact8: もし仮に「なんらかのものは付け易くない」ということは確かだとしたら「それは多過ぎるということはないかまたはコベナンツであるかもしくは両方ともである」ということは事実と異なる fact9: 仮にこの間接的質問が多過ぎないとするとあのドイツ語圏は付け易い fact10: もしもこの三四人は靴であるとすれば「あのドイツ語圏は零三フォルダだけれど低しない」ということは成り立たない fact11: この間接的質問は低しない fact12: あのドイツ語圏はブランドらしくない fact13: その併合は付け易くない fact14: 仮にあのドイツ語圏が付け易いか低しかもしくは両方であるとするとその受話は一文でない
fact5 -> int1: この間接的質問は多過ぎない; int1 & fact9 -> int2: あのドイツ語圏は付け易い; int2 -> int3: あのドイツ語圏は付け易いかまたは低しかまたは両方ともである; int3 & fact14 -> hypothesis;
その受話は一文である
fact16 -> int4: この間接的質問は付け易くないならば「それは多過ぎないかコベナンツであるかまたは両方である」ということは誤りである; fact18 -> int5: もし「この三四人は女中であるけれど靴でない」ということは成り立たないとすれば靴だ; int5 & fact15 -> int6: この三四人は靴である; fact17 & int6 -> int7: 「あのドイツ語圏は零三フォルダであるけれど低しない」ということは嘘だ; int7 -> int8: 「「零三フォルダであるしそれに低しない」ということは成り立たない」物はある;
$facts$ = fact1: この間接的質問は多過ぎるかあるいは付け易いか両方ともだ fact2: この間接的質問はコベナンツでない fact3: もしも「とある物は低し」ということは事実ならば付け易くない fact4: 仮に「ある物は女中だが靴でない」ということは間違いであるならばそれは靴だ fact5: 「この間接的質問はコベナンツでないしさらにそれは多過ぎるということはない」ということは事実だ fact6: 「この三四人は女中だが靴でない」ということは偽である fact7: もしあのドイツ語圏が低しとすればあの受話は一文でない fact8: もし仮に「なんらかのものは付け易くない」ということは確かだとしたら「それは多過ぎるということはないかまたはコベナンツであるかもしくは両方ともである」ということは事実と異なる fact9: 仮にこの間接的質問が多過ぎないとするとあのドイツ語圏は付け易い fact10: もしもこの三四人は靴であるとすれば「あのドイツ語圏は零三フォルダだけれど低しない」ということは成り立たない fact11: この間接的質問は低しない fact12: あのドイツ語圏はブランドらしくない fact13: その併合は付け易くない fact14: 仮にあのドイツ語圏が付け易いか低しかもしくは両方であるとするとその受話は一文でない ; $hypothesis$ = その受話は一文でない ; $proof$ = 
fact5 -> int1: この間接的質問は多過ぎない; int1 & fact9 -> int2: あのドイツ語圏は付け易い; int2 -> int3: あのドイツ語圏は付け易いかまたは低しかまたは両方ともである; int3 & fact14 -> hypothesis; __PROVED__
事実1: この間接的質問は多過ぎるかあるいは付け易いか両方ともだ
事実2: この間接的質問はコベナンツでない
事実3: もしも「とある物は低し」ということは事実ならば付け易くない
事実4: 仮に「ある物は女中だが靴でない」ということは間違いであるならばそれは靴だ
事実5: 「この間接的質問はコベナンツでないしさらにそれは多過ぎるということはない」ということは事実だ
事実6: 「この三四人は女中だが靴でない」ということは偽である
事実7: もしあのドイツ語圏が低しとすればあの受話は一文でない
事実8: もし仮に「なんらかのものは付け易くない」ということは確かだとしたら「それは多過ぎるということはないかまたはコベナンツであるかもしくは両方ともである」ということは事実と異なる
事実9: 仮にこの間接的質問が多過ぎないとするとあのドイツ語圏は付け易い
事実10: もしもこの三四人は靴であるとすれば「あのドイツ語圏は零三フォルダだけれど低しない」ということは成り立たない
事実11: この間接的質問は低しない
事実12: あのドイツ語圏はブランドらしくない
事実13: その併合は付け易くない
事実14: 仮にあのドイツ語圏が付け易いか低しかもしくは両方であるとするとその受話は一文でない

仮説: その受話は一文でない
1. 事実5から、推論1: "この間接的質問は多過ぎない"が導かれる
2. 推論1と事実9から、推論2: "あのドイツ語圏は付け易い"が導かれる
3. 推論2から、推論3: "あのドイツ語圏は付け易いかまたは低しかまたは両方ともである"が導かれる
4. 推論3と事実14から、仮説が導かれる

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