この第二外国語は浸潤する
fact1: 仮になにがしかのものは元来たるとしたら「それは固い」ということは本当だ fact2: その効能はセッションデータだがしかし不埒であるということはない fact3: 「御偉い」ものはある fact4: この猥褻画像は入れ易い fact5: この猥褻画像は元来たるし更に入れ易い fact6: 「固い」ものはある fact7: その効能は固い fact8: あるものはセッションデータだし加えて御偉い fact9: もし仮にその効能がセッションデータであるがしかし不埒でないとしたらそのデータＣＤは第一部長でない fact10: その効能はセッションデータだ fact11: この第二外国語は固くて愚問である fact12: もしも「御偉くておまけに固い」物があるとしたらこの第二外国語は浸潤する fact13: 仮にその効能は入れ易いとすれば「「この第二外国語は固い一方で元来たるない」ということは成り立たない」ということは確かである fact14: もしもなにかは第一部長でないとしたら浸潤しなくてしかも御偉くない fact15: この第二外国語は皮膚損傷であるし更に元来たる fact16: とあるものは第一部長だ fact17: もし仮に何らかの物が御偉いとしたらそれは浸潤するということはない fact18: その恒常性は固い fact19: もしそのデータＣＤが第一部長でないならこの猥褻画像は御偉い fact20: 「この猥褻画像は不埒である」ということは成り立つ
fact9 & fact2 -> int1: そのデータＣＤは第一部長でない; int1 & fact19 -> int2: この猥褻画像は御偉い; fact5 -> int3: この猥褻画像は元来たる; fact1 -> int4: 「この猥褻画像は元来たる」ということは正しいならばそれは固い; int3 & int4 -> int5: 「この猥褻画像は固い」ということは成り立つ; int2 & int5 -> int6: この猥褻画像が御偉いしその上それは固い; int6 -> int7: 「御偉いし固い」物はある; int7 & fact12 -> hypothesis;
「この第二外国語は浸潤しない」ということは本当である
fact21 -> int8: 仮にこの第二外国語が第一部長でないとするとそれは浸潤しないしその上御偉くない;
$facts$ = fact1: 仮になにがしかのものは元来たるとしたら「それは固い」ということは本当だ fact2: その効能はセッションデータだがしかし不埒であるということはない fact3: 「御偉い」ものはある fact4: この猥褻画像は入れ易い fact5: この猥褻画像は元来たるし更に入れ易い fact6: 「固い」ものはある fact7: その効能は固い fact8: あるものはセッションデータだし加えて御偉い fact9: もし仮にその効能がセッションデータであるがしかし不埒でないとしたらそのデータＣＤは第一部長でない fact10: その効能はセッションデータだ fact11: この第二外国語は固くて愚問である fact12: もしも「御偉くておまけに固い」物があるとしたらこの第二外国語は浸潤する fact13: 仮にその効能は入れ易いとすれば「「この第二外国語は固い一方で元来たるない」ということは成り立たない」ということは確かである fact14: もしもなにかは第一部長でないとしたら浸潤しなくてしかも御偉くない fact15: この第二外国語は皮膚損傷であるし更に元来たる fact16: とあるものは第一部長だ fact17: もし仮に何らかの物が御偉いとしたらそれは浸潤するということはない fact18: その恒常性は固い fact19: もしそのデータＣＤが第一部長でないならこの猥褻画像は御偉い fact20: 「この猥褻画像は不埒である」ということは成り立つ ; $hypothesis$ = この第二外国語は浸潤する ; $proof$ = 
fact9 & fact2 -> int1: そのデータＣＤは第一部長でない; int1 & fact19 -> int2: この猥褻画像は御偉い; fact5 -> int3: この猥褻画像は元来たる; fact1 -> int4: 「この猥褻画像は元来たる」ということは正しいならばそれは固い; int3 & int4 -> int5: 「この猥褻画像は固い」ということは成り立つ; int2 & int5 -> int6: この猥褻画像が御偉いしその上それは固い; int6 -> int7: 「御偉いし固い」物はある; int7 & fact12 -> hypothesis; __PROVED__
事実1: 仮になにがしかのものは元来たるとしたら「それは固い」ということは本当だ
事実2: その効能はセッションデータだがしかし不埒であるということはない
事実3: 「御偉い」ものはある
事実4: この猥褻画像は入れ易い
事実5: この猥褻画像は元来たるし更に入れ易い
事実6: 「固い」ものはある
事実7: その効能は固い
事実8: あるものはセッションデータだし加えて御偉い
事実9: もし仮にその効能がセッションデータであるがしかし不埒でないとしたらそのデータＣＤは第一部長でない
事実10: その効能はセッションデータだ
事実11: この第二外国語は固くて愚問である
事実12: もしも「御偉くておまけに固い」物があるとしたらこの第二外国語は浸潤する
事実13: 仮にその効能は入れ易いとすれば「「この第二外国語は固い一方で元来たるない」ということは成り立たない」ということは確かである
事実14: もしもなにかは第一部長でないとしたら浸潤しなくてしかも御偉くない
事実15: この第二外国語は皮膚損傷であるし更に元来たる
事実16: とあるものは第一部長だ
事実17: もし仮に何らかの物が御偉いとしたらそれは浸潤するということはない
事実18: その恒常性は固い
事実19: もしそのデータＣＤが第一部長でないならこの猥褻画像は御偉い
事実20: 「この猥褻画像は不埒である」ということは成り立つ

仮説: この第二外国語は浸潤する
1. 事実9と事実2から、推論1: "そのデータＣＤは第一部長でない"が導かれる
2. 推論1と事実19から、推論2: "この猥褻画像は御偉い"が導かれる
3. 事実5から、推論3: "この猥褻画像は元来たる"が導かれる
4. 事実1から、推論4: "「この猥褻画像は元来たる」ということは正しいならばそれは固い"が導かれる
5. 推論3と推論4から、推論5: "「この猥褻画像は固い」ということは成り立つ"が導かれる
6. 推論2と推論5から、推論6: "この猥褻画像が御偉いしその上それは固い"が導かれる
7. 推論6から、推論7: "「御偉いし固い」物はある"が導かれる
8. 推論7と事実12から、仮説が導かれる

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