その強姦はひ弱いということはない
fact1: 仮にその蠧簡は輝かしくないが浅ましいとすると東洋史学であるということはない fact2: 仮に「そのステンレス鋼は十五少年漂流記でないけれど御美しい」ということは誤りならその体液性免疫能はホイップする fact3: 仮に「その蠧簡は輝かしいということはないけど浅ましい」ということは真実でないならば「その強姦はひ弱くない」ということは確かだ fact4: 「この十センチメートル以上は輝かしくないしおまけにそれは平面プリントでない」ということは成り立たない fact5: あの代償能力は浅ましくないししかもそれは十五少年漂流記でない fact6: もし仮に何らかのものが香り付けするとしたらその体液性免疫能は東洋史学でなくてかつそれは蛋白質精製だということはない fact7: 「その蠧簡はひ弱くないがしかしそれは東洋史学である」ということは成り立たない fact8: 「香り付けする」ものはある fact9: もしもその蠧簡が浅ましくないならその強姦はひ弱くない fact10: その体液性免疫能は蛋白質精製でない fact11: もし仮にその蠧簡は東洋史学でないとすると「その体液性免疫能は東洋史学でないし蛋白質精製でない」ということは成り立たない fact12: 東洋史学は蛋白質精製でないかまたはひ弱くないかあるいは両方ともだ
void -> assump1: 以下のように仮定する。その蠧簡は輝かしいということはないけど浅ましい; fact1 & assump1 -> int1: その蠧簡は東洋史学だということはない; int1 & fact11 -> int2: 「その体液性免疫能は東洋史学でないしまた蛋白質精製でない」ということは成り立たない; fact6 & fact8 -> int3: その体液性免疫能は東洋史学であるということはなくてそれに蛋白質精製でない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その蠧簡は輝かしくない一方でそれは浅ましい」ということは成り立たない; int5 & fact3 -> hypothesis;
その強姦はひ弱い
fact14 -> int6: もし仮にその蠧簡が東洋史学ならそれは蛋白質精製だということはないかあるいはひ弱くない;
$facts$ = fact1: 仮にその蠧簡は輝かしくないが浅ましいとすると東洋史学であるということはない fact2: 仮に「そのステンレス鋼は十五少年漂流記でないけれど御美しい」ということは誤りならその体液性免疫能はホイップする fact3: 仮に「その蠧簡は輝かしいということはないけど浅ましい」ということは真実でないならば「その強姦はひ弱くない」ということは確かだ fact4: 「この十センチメートル以上は輝かしくないしおまけにそれは平面プリントでない」ということは成り立たない fact5: あの代償能力は浅ましくないししかもそれは十五少年漂流記でない fact6: もし仮に何らかのものが香り付けするとしたらその体液性免疫能は東洋史学でなくてかつそれは蛋白質精製だということはない fact7: 「その蠧簡はひ弱くないがしかしそれは東洋史学である」ということは成り立たない fact8: 「香り付けする」ものはある fact9: もしもその蠧簡が浅ましくないならその強姦はひ弱くない fact10: その体液性免疫能は蛋白質精製でない fact11: もし仮にその蠧簡は東洋史学でないとすると「その体液性免疫能は東洋史学でないし蛋白質精製でない」ということは成り立たない fact12: 東洋史学は蛋白質精製でないかまたはひ弱くないかあるいは両方ともだ ; $hypothesis$ = その強姦はひ弱いということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。その蠧簡は輝かしいということはないけど浅ましい; fact1 & assump1 -> int1: その蠧簡は東洋史学だということはない; int1 & fact11 -> int2: 「その体液性免疫能は東洋史学でないしまた蛋白質精製でない」ということは成り立たない; fact6 & fact8 -> int3: その体液性免疫能は東洋史学であるということはなくてそれに蛋白質精製でない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その蠧簡は輝かしくない一方でそれは浅ましい」ということは成り立たない; int5 & fact3 -> hypothesis; __PROVED__
事実1: 仮にその蠧簡は輝かしくないが浅ましいとすると東洋史学であるということはない
事実2: 仮に「そのステンレス鋼は十五少年漂流記でないけれど御美しい」ということは誤りならその体液性免疫能はホイップする
事実3: 仮に「その蠧簡は輝かしいということはないけど浅ましい」ということは真実でないならば「その強姦はひ弱くない」ということは確かだ
事実4: 「この十センチメートル以上は輝かしくないしおまけにそれは平面プリントでない」ということは成り立たない
事実5: あの代償能力は浅ましくないししかもそれは十五少年漂流記でない
事実6: もし仮に何らかのものが香り付けするとしたらその体液性免疫能は東洋史学でなくてかつそれは蛋白質精製だということはない
事実7: 「その蠧簡はひ弱くないがしかしそれは東洋史学である」ということは成り立たない
事実8: 「香り付けする」ものはある
事実9: もしもその蠧簡が浅ましくないならその強姦はひ弱くない
事実10: その体液性免疫能は蛋白質精製でない
事実11: もし仮にその蠧簡は東洋史学でないとすると「その体液性免疫能は東洋史学でないし蛋白質精製でない」ということは成り立たない
事実12: 東洋史学は蛋白質精製でないかまたはひ弱くないかあるいは両方ともだ

仮説: その強姦はひ弱いということはない
1. 仮定1: 以下のように仮定する。その蠧簡は輝かしいということはないけど浅ましい
2. 事実1と仮定1から、推論1: "その蠧簡は東洋史学だということはない"が導かれる
3. 推論1と事実11から、推論2: "「その体液性免疫能は東洋史学でないしまた蛋白質精製でない」ということは成り立たない"が導かれる
4. 事実6と事実8から、推論3: "その体液性免疫能は東洋史学であるということはなくてそれに蛋白質精製でない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「その蠧簡は輝かしくない一方でそれは浅ましい」ということは成り立たない"が導かれる
7. 推論5と事実3から、仮説が導かれる

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