その前半生は受動である
fact1: 「この童画は洋学校である一方で脱走しない」ということは誤りである fact2: その前半生は洋学校だ fact3: もしもこの承諾無しは集計問題でないとすれば「それは滅び行かない一方で撥ね除ける」ということは誤っている fact4: 仮にこの個人広告は洋学校でないとすると「儚くないしさらに合法でない」ということは間違いである fact5: もしも「この童画は集計問題だけれどそれは厚くない」ということは偽だとしたら裏舞台でない fact6: もしも「この童画は受動でなくてかつそれは吸い出さない」ということは間違っているとするとその前半生は厚い fact7: 「あの従順さは吸い出さないけれど洋学校だ」ということは事実でないとすればその先陣は吸い出す fact8: もし仮にとある物は集計問題であるかまたは乗り難くないかあるいはどちらもであるとしたら乗り難くない fact9: 「その先陣は緩解者だがしかし集計問題であるということはない」ということは間違っている fact10: もし仮にあの信託財産が発生し易くないとすればあの従順さは集計問題であるかもしくは乗り難くないかまたはどちらもである fact11: もしもなにかは乗り難くないとしたら「「吸い出さないしさらに洋学校だ」ということは正しい」ということは嘘である fact12: もしその前半生が脱走しないとするとそれは受動でない fact13: もしも「その前半生は入り難い」ということは成り立つとすれば「受動であるが乗り難くない」ということは成り立たない fact14: 何かは脱走すれば「入り難いけれど裏舞台でない」ということは事実と異なる fact15: 「もし「その先陣は脱走するけど受動でない」ということは偽であるとすればその前半生は受動でない」ということは間違っていない fact16: 何らかの物は脱走しないならば「それが乗り難くないしさらにそれは吸い出さない」ということは間違いである fact17: 「「その前半生は口説き落とすがしかし脱走するということはない」ということは確かだ」ということは事実だということはない fact18: もしもなにがしかの物は吸い出すとしたら「「脱走するけど受動であるということはない」ということは確かである」ということは間違いだ fact19: その先陣が洋学校であるならばその前半生は受動だ fact20: 仮に「この童画は乗り難くなくて吸い出さない」ということは事実と異なるとしたら「その先陣は洋学校だ」ということは確かである fact21: 「この童画は集計問題であるがしかし厚くない」ということは嘘である fact22: この童画は発生し易いし更にそれは入り難い fact23: 「そのリハビリはコピー出来ないけど吸い出す」ということは誤っている
fact14 -> int1: この童画は脱走するとしたら「それは入り難いけど裏舞台でない」ということは成り立つということはない; void -> assump1: 以下のように仮定する。この童画は脱走する; int1 & assump1 -> int2: 「この童画は入り難いがしかし裏舞台でない」ということは確かでない; fact22 -> int3: この童画は入り難い; fact5 & fact21 -> int4: この童画は裏舞台であるということはない; int3 & int4 -> int5: この童画は入り難いがしかし裏舞台でない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この童画は脱走しない; fact16 -> int8: 仮にこの童画は脱走するということはないとしたら「乗り難くないしそれは吸い出すということはない」ということは成り立たない; int7 & int8 -> int9: 「この童画は乗り難くないし吸い出すということはない」ということは事実と異なる; int9 & fact20 -> int10: その先陣は洋学校だ; int10 & fact19 -> hypothesis;
「その前半生は受動だということはない」ということは成り立つ
fact29 -> int11: その先陣は吸い出すなら「脱走するし受動でない」ということは間違いである; fact25 -> int12: もしあの従順さは乗り難くないとすると「それは吸い出さないし洋学校である」ということは嘘だ; fact26 -> int13: もしもあの従順さが集計問題であるかあるいはそれが乗り難くないとしたらそれは乗り難くない;
$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$ = 
fact14 -> int1: この童画は脱走するとしたら「それは入り難いけど裏舞台でない」ということは成り立つということはない; void -> assump1: 以下のように仮定する。この童画は脱走する; int1 & assump1 -> int2: 「この童画は入り難いがしかし裏舞台でない」ということは確かでない; fact22 -> int3: この童画は入り難い; fact5 & fact21 -> int4: この童画は裏舞台であるということはない; int3 & int4 -> int5: この童画は入り難いがしかし裏舞台でない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この童画は脱走しない; fact16 -> int8: 仮にこの童画は脱走するということはないとしたら「乗り難くないしそれは吸い出すということはない」ということは成り立たない; int7 & int8 -> int9: 「この童画は乗り難くないし吸い出すということはない」ということは事実と異なる; int9 & fact20 -> int10: その先陣は洋学校だ; int10 & fact19 -> 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. 事実14から、推論1: "この童画は脱走するとしたら「それは入り難いけど裏舞台でない」ということは成り立つということはない"が導かれる
2. 仮定1: 以下のように仮定する。この童画は脱走する
3. 推論1と仮定1から、推論2: "「この童画は入り難いがしかし裏舞台でない」ということは確かでない"が導かれる
4. 事実22から、推論3: "この童画は入り難い"が導かれる
5. 事実5と事実21から、推論4: "この童画は裏舞台であるということはない"が導かれる
6. 推論3と推論4から、推論5: "この童画は入り難いがしかし裏舞台でない"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "この童画は脱走しない"が導かれる
9. 事実16から、推論8: "仮にこの童画は脱走するということはないとしたら「乗り難くないしそれは吸い出すということはない」ということは成り立たない"が導かれる
10. 推論7と推論8から、推論9: "「この童画は乗り難くないし吸い出すということはない」ということは事実と異なる"が導かれる
11. 推論9と事実20から、推論10: "その先陣は洋学校だ"が導かれる
12. 推論10と事実19から、仮説が導かれる

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