「この山吹は享楽しないしその上それは外野でない」ということは確かでない
fact1: もしもこのセルビア人が目敏いとしたらこの咎めは働け等だが妻せらない fact2: とあるものは外野であるということはないならそれはソリッドシューターであるかもしくはコラボレートするか両方である fact3: もし仮に「あの刺激前は享楽するか増殖培養する」ということは事実と異なるならばあの山吹は外野でない fact4: 仮に「「珪素でない一方で卑し」ということは誤りである」物があるとすればあの山吹はソリッドシューターだということはない fact5: ソリッドシューターは享楽しなくて外野でない fact6: 「「潜れるしおまけに無理解である」ということは誤っている」物はある fact7: もし仮に「あの刺激前は増殖培養する」ということは確かであるならばこの山吹は増殖培養する fact8: 仮にこの積雪が平べったいとするとあの刺激前は平べったい fact9: 「平べったい物は増殖培養する」ということは成り立つ fact10: もし「この山吹はソリッドシューターだということはない」ということは成り立つとすれば「享楽するけれど外野でない」ということは成り立たない fact11: なにがしかの物は増殖培養すれば「ソリッドシューターだ」ということは成り立つ fact12: もしなにがしかの物は塩辛いということはないとしたら「生み難くないしまたそれは背負い込む」ということは成り立たない fact13: 「「珪素だということはないがしかし卑し」ということは間違いな」ものはある fact14: このカバー付きはソリッドシューターでない fact15: このセルビア人は目敏くてそれに成し難い fact16: 「「上手・下手だしかつ身内審査だ」ということは事実だということはない」ものはある fact17: 仮にこの山吹は呪い殺さないならば「厳つかないし更に外野でない」ということは間違っている fact18: もしも「卑しない」物はあるとすると「この山吹はソリッドシューターでない」ということは確かだ fact19: もしも何かはソリッドシューターでないとすると「享楽しないし外野であるということはない」ということは成り立たない
fact13 & fact4 -> int1: この山吹はソリッドシューターであるということはない; fact19 -> int2: 仮にこの山吹はソリッドシューターでないとすれば「それは享楽しなくて外野でない」ということは誤りである; int1 & int2 -> hypothesis;
この山吹は享楽しなくてまた外野でない
fact25 -> int3: もしもこの山吹がソリッドシューターであるなら享楽しないししかもそれは外野でない; fact20 -> int4: 仮にこの山吹が増殖培養するとするとそれはソリッドシューターである; fact23 -> int5: もしもあの刺激前が平べったいとすれば増殖培養する; fact26 -> int6: このセルビア人は目敏い; fact21 & int6 -> int7: この咎めは働け等であるけれどそれは妻せらない; int7 -> int8: ある物は働け等だがしかし妻せらない;
$facts$ = fact1: もしもこのセルビア人が目敏いとしたらこの咎めは働け等だが妻せらない fact2: とあるものは外野であるということはないならそれはソリッドシューターであるかもしくはコラボレートするか両方である fact3: もし仮に「あの刺激前は享楽するか増殖培養する」ということは事実と異なるならばあの山吹は外野でない fact4: 仮に「「珪素でない一方で卑し」ということは誤りである」物があるとすればあの山吹はソリッドシューターだということはない fact5: ソリッドシューターは享楽しなくて外野でない fact6: 「「潜れるしおまけに無理解である」ということは誤っている」物はある fact7: もし仮に「あの刺激前は増殖培養する」ということは確かであるならばこの山吹は増殖培養する fact8: 仮にこの積雪が平べったいとするとあの刺激前は平べったい fact9: 「平べったい物は増殖培養する」ということは成り立つ fact10: もし「この山吹はソリッドシューターだということはない」ということは成り立つとすれば「享楽するけれど外野でない」ということは成り立たない fact11: なにがしかの物は増殖培養すれば「ソリッドシューターだ」ということは成り立つ fact12: もしなにがしかの物は塩辛いということはないとしたら「生み難くないしまたそれは背負い込む」ということは成り立たない fact13: 「「珪素だということはないがしかし卑し」ということは間違いな」ものはある fact14: このカバー付きはソリッドシューターでない fact15: このセルビア人は目敏くてそれに成し難い fact16: 「「上手・下手だしかつ身内審査だ」ということは事実だということはない」ものはある fact17: 仮にこの山吹は呪い殺さないならば「厳つかないし更に外野でない」ということは間違っている fact18: もしも「卑しない」物はあるとすると「この山吹はソリッドシューターでない」ということは確かだ fact19: もしも何かはソリッドシューターでないとすると「享楽しないし外野であるということはない」ということは成り立たない ; $hypothesis$ = 「この山吹は享楽しないしその上それは外野でない」ということは確かでない ; $proof$ = 
fact13 & fact4 -> int1: この山吹はソリッドシューターであるということはない; fact19 -> int2: 仮にこの山吹はソリッドシューターでないとすれば「それは享楽しなくて外野でない」ということは誤りである; int1 & int2 -> hypothesis; __PROVED__
事実1: もしもこのセルビア人が目敏いとしたらこの咎めは働け等だが妻せらない
事実2: とあるものは外野であるということはないならそれはソリッドシューターであるかもしくはコラボレートするか両方である
事実3: もし仮に「あの刺激前は享楽するか増殖培養する」ということは事実と異なるならばあの山吹は外野でない
事実4: 仮に「「珪素でない一方で卑し」ということは誤りである」物があるとすればあの山吹はソリッドシューターだということはない
事実5: ソリッドシューターは享楽しなくて外野でない
事実6: 「「潜れるしおまけに無理解である」ということは誤っている」物はある
事実7: もし仮に「あの刺激前は増殖培養する」ということは確かであるならばこの山吹は増殖培養する
事実8: 仮にこの積雪が平べったいとするとあの刺激前は平べったい
事実9: 「平べったい物は増殖培養する」ということは成り立つ
事実10: もし「この山吹はソリッドシューターだということはない」ということは成り立つとすれば「享楽するけれど外野でない」ということは成り立たない
事実11: なにがしかの物は増殖培養すれば「ソリッドシューターだ」ということは成り立つ
事実12: もしなにがしかの物は塩辛いということはないとしたら「生み難くないしまたそれは背負い込む」ということは成り立たない
事実13: 「「珪素だということはないがしかし卑し」ということは間違いな」ものはある
事実14: このカバー付きはソリッドシューターでない
事実15: このセルビア人は目敏くてそれに成し難い
事実16: 「「上手・下手だしかつ身内審査だ」ということは事実だということはない」ものはある
事実17: 仮にこの山吹は呪い殺さないならば「厳つかないし更に外野でない」ということは間違っている
事実18: もしも「卑しない」物はあるとすると「この山吹はソリッドシューターでない」ということは確かだ
事実19: もしも何かはソリッドシューターでないとすると「享楽しないし外野であるということはない」ということは成り立たない

仮説: 「この山吹は享楽しないしその上それは外野でない」ということは確かでない
1. 事実13と事実4から、推論1: "この山吹はソリッドシューターであるということはない"が導かれる
2. 事実19から、推論2: "仮にこの山吹はソリッドシューターでないとすれば「それは享楽しなくて外野でない」ということは誤りである"が導かれる
3. 推論1と推論2から、仮説が導かれる

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