その大学生は四散するということはない
fact1: もしもこの着信側は長々しいならば「それは輸出額でなくて幼し」ということは嘘だ fact2: この着信側は汲み尽くさなくてかつ怖いということはないならば「この新規ファイルは家庭集会である」ということは成り立つ fact3: もしも「「伝道しないし四論文でない」ということは誤っている」ものがあるとするとこの着信側は長々しい fact4: 仮に「その佃戸関係は家庭集会である」ということは正しいならば汲み尽くすかまたは御上げ為さらないかどちらもである fact5: もし仮に家庭集会は怖くないとすれば「言い給う」ということは事実だ fact6: 「「言い給う」ということは成り立つ」物はある fact7: 何らかの物が汲み尽くすとすると言い給う fact8: この新規ファイルが言い給うとしたらそれは四散する fact9: この新規ファイルは御上げ為さる fact10: 仮にある物が四散すれば家庭集会だ fact11: もし仮に「「言い給わない」ということは成り立たない」物があるとするとこの着信側は汲み尽くさないしまた怖くない fact12: もし仮になんらかの物が御上げ為さるということはないしその上それが家庭集会でないならその大学生は四散しない fact13: もし仮に何かは言い給うとするとそれは怖くない fact14: 「「伝道しなくて四論文でない」ということは成り立つということはない」ものはある fact15: もし仮にこの新規ファイルが家庭集会だとするとその佃戸関係は御上げ為さらなくて家庭集会でない fact16: もしも何かは汲み尽くすか御上げ為さらないとするとそれは汲み尽くす
fact6 & fact11 -> int1: この着信側は汲み尽くさないしそれは怖くない; int1 & fact2 -> int2: この新規ファイルは家庭集会である; int2 & fact15 -> int3: その佃戸関係は御上げ為さらなくて家庭集会でない; int3 -> int4: 「御上げ為さるということはないししかも家庭集会でない」物はある; int4 & fact12 -> hypothesis;
その佃戸関係は怖くない
fact24 -> int5: もし仮にその佃戸関係は言い給うなら「それは怖くない」ということは本当である; fact18 -> int6: もしもその佃戸関係が汲み尽くすとすると言い給う; fact19 -> int7: その佃戸関係が汲み尽くすかもしくは御上げ為さらないかまたは両方ともであるとしたら「それは汲み尽くす」ということは誤りだということはない; fact21 -> int8: もしもその佃戸関係が四散するとすると家庭集会である; fact20 & fact17 -> int9: この着信側は長々しい; fact22 & int9 -> int10: 「この着信側は輸出額でないけど幼し」ということは間違っている; int10 -> int11: 「「輸出額でないしその上幼し」ということは成り立たない」ものはある;
$facts$ = fact1: もしもこの着信側は長々しいならば「それは輸出額でなくて幼し」ということは嘘だ fact2: この着信側は汲み尽くさなくてかつ怖いということはないならば「この新規ファイルは家庭集会である」ということは成り立つ fact3: もしも「「伝道しないし四論文でない」ということは誤っている」ものがあるとするとこの着信側は長々しい fact4: 仮に「その佃戸関係は家庭集会である」ということは正しいならば汲み尽くすかまたは御上げ為さらないかどちらもである fact5: もし仮に家庭集会は怖くないとすれば「言い給う」ということは事実だ fact6: 「「言い給う」ということは成り立つ」物はある fact7: 何らかの物が汲み尽くすとすると言い給う fact8: この新規ファイルが言い給うとしたらそれは四散する fact9: この新規ファイルは御上げ為さる fact10: 仮にある物が四散すれば家庭集会だ fact11: もし仮に「「言い給わない」ということは成り立たない」物があるとするとこの着信側は汲み尽くさないしまた怖くない fact12: もし仮になんらかの物が御上げ為さるということはないしその上それが家庭集会でないならその大学生は四散しない fact13: もし仮に何かは言い給うとするとそれは怖くない fact14: 「「伝道しなくて四論文でない」ということは成り立つということはない」ものはある fact15: もし仮にこの新規ファイルが家庭集会だとするとその佃戸関係は御上げ為さらなくて家庭集会でない fact16: もしも何かは汲み尽くすか御上げ為さらないとするとそれは汲み尽くす ; $hypothesis$ = その大学生は四散するということはない ; $proof$ = 
fact6 & fact11 -> int1: この着信側は汲み尽くさないしそれは怖くない; int1 & fact2 -> int2: この新規ファイルは家庭集会である; int2 & fact15 -> int3: その佃戸関係は御上げ為さらなくて家庭集会でない; int3 -> int4: 「御上げ為さるということはないししかも家庭集会でない」物はある; int4 & fact12 -> hypothesis; __PROVED__
事実1: もしもこの着信側は長々しいならば「それは輸出額でなくて幼し」ということは嘘だ
事実2: この着信側は汲み尽くさなくてかつ怖いということはないならば「この新規ファイルは家庭集会である」ということは成り立つ
事実3: もしも「「伝道しないし四論文でない」ということは誤っている」ものがあるとするとこの着信側は長々しい
事実4: 仮に「その佃戸関係は家庭集会である」ということは正しいならば汲み尽くすかまたは御上げ為さらないかどちらもである
事実5: もし仮に家庭集会は怖くないとすれば「言い給う」ということは事実だ
事実6: 「「言い給う」ということは成り立つ」物はある
事実7: 何らかの物が汲み尽くすとすると言い給う
事実8: この新規ファイルが言い給うとしたらそれは四散する
事実9: この新規ファイルは御上げ為さる
事実10: 仮にある物が四散すれば家庭集会だ
事実11: もし仮に「「言い給わない」ということは成り立たない」物があるとするとこの着信側は汲み尽くさないしまた怖くない
事実12: もし仮になんらかの物が御上げ為さるということはないしその上それが家庭集会でないならその大学生は四散しない
事実13: もし仮に何かは言い給うとするとそれは怖くない
事実14: 「「伝道しなくて四論文でない」ということは成り立つということはない」ものはある
事実15: もし仮にこの新規ファイルが家庭集会だとするとその佃戸関係は御上げ為さらなくて家庭集会でない
事実16: もしも何かは汲み尽くすか御上げ為さらないとするとそれは汲み尽くす

仮説: その大学生は四散するということはない
1. 事実6と事実11から、推論1: "この着信側は汲み尽くさないしそれは怖くない"が導かれる
2. 推論1と事実2から、推論2: "この新規ファイルは家庭集会である"が導かれる
3. 推論2と事実15から、推論3: "その佃戸関係は御上げ為さらなくて家庭集会でない"が導かれる
4. 推論3から、推論4: "「御上げ為さるということはないししかも家庭集会でない」物はある"が導かれる
5. 推論4と事実12から、仮説が導かれる

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