なんらかのものは三等分するしそれは容喙する
fact1: もし仮に「なにがしかのものは貸し付け信託であるかあるいは代筆するかどちらもだ」ということは成り立つということはないならばすばしっこい fact2: なにがしかのものは容喙する fact3: 仮に何らかの物が三等分すればそれは代筆しないかあるいは貸し付け信託である fact4: 「もしその熱塊はすばしっこいならば「あの父兄は三等分する」ということは成り立つ」ということは本当だ fact5: もしも「「遅いか懇願しないかまたはどちらもだ」ということは偽である」物があればその黙想は追い回す fact6: もしあの囲みは貸し付け信託でないとしたら「その熱塊は貸し付け信託でないか代筆する」ということは成り立たない fact7: あの囲みは確認し易いかまたは高価過ぎるかまたは両方ともである fact8: あの囲みは遅い fact9: 「もしなにかは身体化しないとすると「遅くないけれど追い回す」ということは間違っている」ということは成り立つ fact10: その熱塊は確認し易くない fact11: もし仮にその熱塊は代筆しないとすると「あの囲みは代筆しないかもしくはそれは確認し易いかまたは両方ともである」ということは成り立たない fact12: もし仮に「あるものは貸し付け信託でないか代筆するかあるいは両方である」ということは事実と異なるとすればすばしっこい fact13: 「「遅いかもしくは懇願しないかもしくは両方である」ということは誤りである」物はある fact14: とあるものは懇願する fact15: もしもあの囲みは確認し易いかもしくは高価過ぎるかまたは両方なら貸し付け信託でない fact16: もしあの囲みが代筆しないかまたは貸し付け信託であるかもしくは両方ともだとしたらあの父兄は貸し付け信託でない fact17: もし仮に「「「遅いかあるいは懇願する」ということは確かである」ということは成り立たない」ものがあるならその黙想は追い回す fact18: もしも「なにかは確認し易くないか追い回すか両方ともである」ということは確かでないなら容喙する fact19: もしその熱塊は容喙するとすれば「あの囲みは三等分する」ということは成り立つ fact20: その黙想が追い回せばあの父兄は容喙する fact21: 仮にあの囲みが貸し付け信託だということはないならその熱塊は貸し付け信託だ fact22: 「三等分する」物はある fact23: 仮になにがしかのものが貸し付け信託でないならそれはすばしっこいしさらにそれは懇願する
fact15 & fact7 -> int1: あの囲みは貸し付け信託であるということはない; int1 & fact6 -> int2: 「その熱塊は貸し付け信託でないかもしくは代筆するか両方である」ということは本当でない; fact12 -> int3: もし「その熱塊は貸し付け信託でないか代筆するかどちらもである」ということは成り立たないとするとそれはすばしっこい; int2 & int3 -> int4: その熱塊はすばしっこい; int4 & fact4 -> int5: あの父兄は三等分する; fact13 & fact5 -> int6: その黙想は追い回す; fact20 & int6 -> int7: あの父兄は容喙する; int5 & int7 -> int8: あの父兄は三等分するしかつそれは容喙する; int8 -> hypothesis;
あの父兄は懇願する
fact25 -> int9: あの父兄は貸し付け信託でないならばそれはすばしっこいし懇願する; fact27 -> int10: もし仮にあの囲みが三等分するとすればそれは代筆しないかもしくは貸し付け信託であるかあるいはどちらもである; fact28 -> int11: 仮にその熱塊は身体化しないとしたら「それは遅くないが追い回す」ということは間違いである;
$facts$ = fact1: もし仮に「なにがしかのものは貸し付け信託であるかあるいは代筆するかどちらもだ」ということは成り立つということはないならばすばしっこい fact2: なにがしかのものは容喙する fact3: 仮に何らかの物が三等分すればそれは代筆しないかあるいは貸し付け信託である fact4: 「もしその熱塊はすばしっこいならば「あの父兄は三等分する」ということは成り立つ」ということは本当だ fact5: もしも「「遅いか懇願しないかまたはどちらもだ」ということは偽である」物があればその黙想は追い回す fact6: もしあの囲みは貸し付け信託でないとしたら「その熱塊は貸し付け信託でないか代筆する」ということは成り立たない fact7: あの囲みは確認し易いかまたは高価過ぎるかまたは両方ともである fact8: あの囲みは遅い fact9: 「もしなにかは身体化しないとすると「遅くないけれど追い回す」ということは間違っている」ということは成り立つ fact10: その熱塊は確認し易くない fact11: もし仮にその熱塊は代筆しないとすると「あの囲みは代筆しないかもしくはそれは確認し易いかまたは両方ともである」ということは成り立たない fact12: もし仮に「あるものは貸し付け信託でないか代筆するかあるいは両方である」ということは事実と異なるとすればすばしっこい fact13: 「「遅いかもしくは懇願しないかもしくは両方である」ということは誤りである」物はある fact14: とあるものは懇願する fact15: もしもあの囲みは確認し易いかもしくは高価過ぎるかまたは両方なら貸し付け信託でない fact16: もしあの囲みが代筆しないかまたは貸し付け信託であるかもしくは両方ともだとしたらあの父兄は貸し付け信託でない fact17: もし仮に「「「遅いかあるいは懇願する」ということは確かである」ということは成り立たない」ものがあるならその黙想は追い回す fact18: もしも「なにかは確認し易くないか追い回すか両方ともである」ということは確かでないなら容喙する fact19: もしその熱塊は容喙するとすれば「あの囲みは三等分する」ということは成り立つ fact20: その黙想が追い回せばあの父兄は容喙する fact21: 仮にあの囲みが貸し付け信託だということはないならその熱塊は貸し付け信託だ fact22: 「三等分する」物はある fact23: 仮になにがしかのものが貸し付け信託でないならそれはすばしっこいしさらにそれは懇願する ; $hypothesis$ = なんらかのものは三等分するしそれは容喙する ; $proof$ = 
fact15 & fact7 -> int1: あの囲みは貸し付け信託であるということはない; int1 & fact6 -> int2: 「その熱塊は貸し付け信託でないかもしくは代筆するか両方である」ということは本当でない; fact12 -> int3: もし「その熱塊は貸し付け信託でないか代筆するかどちらもである」ということは成り立たないとするとそれはすばしっこい; int2 & int3 -> int4: その熱塊はすばしっこい; int4 & fact4 -> int5: あの父兄は三等分する; fact13 & fact5 -> int6: その黙想は追い回す; fact20 & int6 -> int7: あの父兄は容喙する; int5 & int7 -> int8: あの父兄は三等分するしかつそれは容喙する; int8 -> hypothesis; __PROVED__
事実1: もし仮に「なにがしかのものは貸し付け信託であるかあるいは代筆するかどちらもだ」ということは成り立つということはないならばすばしっこい
事実2: なにがしかのものは容喙する
事実3: 仮に何らかの物が三等分すればそれは代筆しないかあるいは貸し付け信託である
事実4: 「もしその熱塊はすばしっこいならば「あの父兄は三等分する」ということは成り立つ」ということは本当だ
事実5: もしも「「遅いか懇願しないかまたはどちらもだ」ということは偽である」物があればその黙想は追い回す
事実6: もしあの囲みは貸し付け信託でないとしたら「その熱塊は貸し付け信託でないか代筆する」ということは成り立たない
事実7: あの囲みは確認し易いかまたは高価過ぎるかまたは両方ともである
事実8: あの囲みは遅い
事実9: 「もしなにかは身体化しないとすると「遅くないけれど追い回す」ということは間違っている」ということは成り立つ
事実10: その熱塊は確認し易くない
事実11: もし仮にその熱塊は代筆しないとすると「あの囲みは代筆しないかもしくはそれは確認し易いかまたは両方ともである」ということは成り立たない
事実12: もし仮に「あるものは貸し付け信託でないか代筆するかあるいは両方である」ということは事実と異なるとすればすばしっこい
事実13: 「「遅いかもしくは懇願しないかもしくは両方である」ということは誤りである」物はある
事実14: とあるものは懇願する
事実15: もしもあの囲みは確認し易いかもしくは高価過ぎるかまたは両方なら貸し付け信託でない
事実16: もしあの囲みが代筆しないかまたは貸し付け信託であるかもしくは両方ともだとしたらあの父兄は貸し付け信託でない
事実17: もし仮に「「「遅いかあるいは懇願する」ということは確かである」ということは成り立たない」ものがあるならその黙想は追い回す
事実18: もしも「なにかは確認し易くないか追い回すか両方ともである」ということは確かでないなら容喙する
事実19: もしその熱塊は容喙するとすれば「あの囲みは三等分する」ということは成り立つ
事実20: その黙想が追い回せばあの父兄は容喙する
事実21: 仮にあの囲みが貸し付け信託だということはないならその熱塊は貸し付け信託だ
事実22: 「三等分する」物はある
事実23: 仮になにがしかのものが貸し付け信託でないならそれはすばしっこいしさらにそれは懇願する

仮説: なんらかのものは三等分するしそれは容喙する
1. 事実15と事実7から、推論1: "あの囲みは貸し付け信託であるということはない"が導かれる
2. 推論1と事実6から、推論2: "「その熱塊は貸し付け信託でないかもしくは代筆するか両方である」ということは本当でない"が導かれる
3. 事実12から、推論3: "もし「その熱塊は貸し付け信託でないか代筆するかどちらもである」ということは成り立たないとするとそれはすばしっこい"が導かれる
4. 推論2と推論3から、推論4: "その熱塊はすばしっこい"が導かれる
5. 推論4と事実4から、推論5: "あの父兄は三等分する"が導かれる
6. 事実13と事実5から、推論6: "その黙想は追い回す"が導かれる
7. 事実20と推論6から、推論7: "あの父兄は容喙する"が導かれる
8. 推論5と推論7から、推論8: "あの父兄は三等分するしかつそれは容喙する"が導かれる
9. 推論8から、仮説が導かれる

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