このマネジャーは反対表明でない
fact1: 「「その旧村単位は膨隆しなくて四分三カップでない」ということは成り立つ」ということは成り立たないなら結わえる fact2: 仮にその旧村単位が膨隆しなくてそれが四分三カップでないとすればそれは胸髄でない fact3: もしこの三価が豆板であるとしたらその旧村単位は戻し易い fact4: 仮にその旧村単位が翻訳・出版するかまたは胸髄でないかまたは両方だとしたらこのデバイスコンテキストは就社でない fact5: このデバイスコンテキストは和装である fact6: とある物が御挨拶するし更に狙い易いとするとその老後生活は襲来しない fact7: 「青物である」物はある fact8: この煩は御挨拶する fact9: もしもその旧村単位が就社だしかつ結わえるとすればあのマネジャーは胸髄でない fact10: もしも「その老後生活は豆板でないが草臥れ果てる」ということは誤りであるとするとこの三価は豆板である fact11: もしあの物見は胸髄でないかもしくは就社でないかもしくは両方ともであるとしたらそれは船頭である fact12: もしとある物が胸髄でないとすれば反対表明だししかもそれは翻訳・出版する fact13: 「「「その老後生活は豆板でないがしかし草臥れ果てる」ということは事実である」ということは誤りである」ということは成り立つ fact14: 戻し易くない物は就社であるしおまけに結わえる fact15: その旧村単位は膨隆しない fact16: 「このデバイスコンテキストは和装であるけど青物でない」ということは誤りなら「その旧村単位は戻し易くない」ということは正しい fact17: その旧村単位が戻し易くて加えて結わえればこのマネジャーは反対表明だということはない fact18: その老後生活が四分三カップだしその上それが草臥れ果てるならその旧村単位は胸髄でない fact19: 「その旧村単位は膨隆するけど四分三カップでない」ということは成り立たない fact20: もしあるものは豆板でないとすると「それは和装であるしさらに青物でない」ということは間違いである fact21: この煩は狙い易い fact22: もしも「「青物だ」ということは正しい」物があるとするとこのデバイスコンテキストは就社であるしそれに和装である fact23: もし仮にその老後生活は襲来しないとすれば「この三価は草臥れ果てないが御連絡下さる」ということは誤りだ fact24: 仮にこの三価が就社であるけれどそれが胸髄だということはないならばそれは豆板だということはない
void -> assump1: 以下のように仮定する。その旧村単位は膨隆するということはなくてそれに四分三カップであるということはない; fact2 & assump1 -> int1: その旧村単位は胸髄でない; int1 -> int2: その旧村単位は翻訳・出版するかあるいは胸髄でないかまたはどちらもである; int2 & fact4 -> int3: このデバイスコンテキストは就社でない; fact7 & fact22 -> int4: このデバイスコンテキストは就社であるし和装である; int4 -> int5: このデバイスコンテキストは就社だ; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「その旧村単位は膨隆しないし更に四分三カップでない」ということは嘘である; int7 & fact1 -> int8: その旧村単位は結わえる; fact13 & fact10 -> int9: この三価は豆板だ; fact3 & int9 -> int10: その旧村単位は戻し易い; int8 & int10 -> int11: その旧村単位は戻し易くて結わえる; int11 & fact17 -> hypothesis;
あの物見は船頭で判別し難い
$facts$ = fact1: 「「その旧村単位は膨隆しなくて四分三カップでない」ということは成り立つ」ということは成り立たないなら結わえる fact2: 仮にその旧村単位が膨隆しなくてそれが四分三カップでないとすればそれは胸髄でない fact3: もしこの三価が豆板であるとしたらその旧村単位は戻し易い fact4: 仮にその旧村単位が翻訳・出版するかまたは胸髄でないかまたは両方だとしたらこのデバイスコンテキストは就社でない fact5: このデバイスコンテキストは和装である fact6: とある物が御挨拶するし更に狙い易いとするとその老後生活は襲来しない fact7: 「青物である」物はある fact8: この煩は御挨拶する fact9: もしもその旧村単位が就社だしかつ結わえるとすればあのマネジャーは胸髄でない fact10: もしも「その老後生活は豆板でないが草臥れ果てる」ということは誤りであるとするとこの三価は豆板である fact11: もしあの物見は胸髄でないかもしくは就社でないかもしくは両方ともであるとしたらそれは船頭である fact12: もしとある物が胸髄でないとすれば反対表明だししかもそれは翻訳・出版する fact13: 「「「その老後生活は豆板でないがしかし草臥れ果てる」ということは事実である」ということは誤りである」ということは成り立つ fact14: 戻し易くない物は就社であるしおまけに結わえる fact15: その旧村単位は膨隆しない fact16: 「このデバイスコンテキストは和装であるけど青物でない」ということは誤りなら「その旧村単位は戻し易くない」ということは正しい fact17: その旧村単位が戻し易くて加えて結わえればこのマネジャーは反対表明だということはない fact18: その老後生活が四分三カップだしその上それが草臥れ果てるならその旧村単位は胸髄でない fact19: 「その旧村単位は膨隆するけど四分三カップでない」ということは成り立たない fact20: もしあるものは豆板でないとすると「それは和装であるしさらに青物でない」ということは間違いである fact21: この煩は狙い易い fact22: もしも「「青物だ」ということは正しい」物があるとするとこのデバイスコンテキストは就社であるしそれに和装である fact23: もし仮にその老後生活は襲来しないとすれば「この三価は草臥れ果てないが御連絡下さる」ということは誤りだ fact24: 仮にこの三価が就社であるけれどそれが胸髄だということはないならばそれは豆板だということはない ; $hypothesis$ = このマネジャーは反対表明でない ; $proof$ = 
void -> assump1: 以下のように仮定する。その旧村単位は膨隆するということはなくてそれに四分三カップであるということはない; fact2 & assump1 -> int1: その旧村単位は胸髄でない; int1 -> int2: その旧村単位は翻訳・出版するかあるいは胸髄でないかまたはどちらもである; int2 & fact4 -> int3: このデバイスコンテキストは就社でない; fact7 & fact22 -> int4: このデバイスコンテキストは就社であるし和装である; int4 -> int5: このデバイスコンテキストは就社だ; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「その旧村単位は膨隆しないし更に四分三カップでない」ということは嘘である; int7 & fact1 -> int8: その旧村単位は結わえる; fact13 & fact10 -> int9: この三価は豆板だ; fact3 & int9 -> int10: その旧村単位は戻し易い; int8 & int10 -> int11: その旧村単位は戻し易くて結わえる; int11 & fact17 -> 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: もし仮にその老後生活は襲来しないとすれば「この三価は草臥れ果てないが御連絡下さる」ということは誤りだ
事実24: 仮にこの三価が就社であるけれどそれが胸髄だということはないならばそれは豆板だということはない

仮説: このマネジャーは反対表明でない
1. 仮定1: 以下のように仮定する。その旧村単位は膨隆するということはなくてそれに四分三カップであるということはない
2. 事実2と仮定1から、推論1: "その旧村単位は胸髄でない"が導かれる
3. 推論1から、推論2: "その旧村単位は翻訳・出版するかあるいは胸髄でないかまたはどちらもである"が導かれる
4. 推論2と事実4から、推論3: "このデバイスコンテキストは就社でない"が導かれる
5. 事実7と事実22から、推論4: "このデバイスコンテキストは就社であるし和装である"が導かれる
6. 推論4から、推論5: "このデバイスコンテキストは就社だ"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "「その旧村単位は膨隆しないし更に四分三カップでない」ということは嘘である"が導かれる
9. 推論7と事実1から、推論8: "その旧村単位は結わえる"が導かれる
10. 事実13と事実10から、推論9: "この三価は豆板だ"が導かれる
11. 事実3と推論9から、推論10: "その旧村単位は戻し易い"が導かれる
12. 推論8と推論10から、推論11: "その旧村単位は戻し易くて結わえる"が導かれる
13. 推論11と事実17から、仮説が導かれる

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