その全員は屈伏しない
fact1: 「もしも「このＵ字は廃止するしその上義兄である」ということは本当でないとするとあの前問は汚さない」ということは正しい fact2: もし仮にこの生牡蛎は両極化するとしたら「その全員は両極化しなくてかつ位置付けない」ということは事実と異なる fact3: もしも「あるものが永小作権だしそれは否定し難い」ということは嘘であるならば永小作権でない fact4: 「あの前問は屈伏しなくて汚さない」ということは成り立つとしたらこのＵ字は屈伏しない fact5: 「何もかもは働き難い」ということは誤っていない fact6: 仮にこのＵ字は追い上げないならば「それが廃止するしその上それは義兄だ」ということは嘘だ fact7: もし何らかのものは否定し難くないとしたら「この生牡蛎は永小作権であるしその上否定し難い」ということは誤りである fact8: もし仮に「「両極化する一方で羨ましくない」ということは偽な」ものがあるならあの前問は両極化するということはない fact9: もし仮になにかは働き難いならば「それは少ないかもしくは後悔しない」ということは事実と異なる fact10: 仮にあの前問は汚さないなら「この生牡蛎は両極化する」ということは本当だ fact11: 「この隠居は永小作権であるということはないけどそれはしどけない」ということは誤りだ fact12: もし仮にこの生牡蛎は御騒がせするということはないならば「あの前問は羨ましい」ということは成り立つ fact13: もし仮に「何かは両極化しないしおまけにそれは位置付けない」ということは真実でないならば「それは屈伏しない」ということは事実である fact14: このＵ字は追い上げない fact15: もしも「この隠居は少ないか後悔しない」ということは成り立たないならばその全員は否定し難くない fact16: 「この隠居は永小作権だということはないけれどしどけない」ということは成り立たないならこの生牡蛎はしどけない fact17: もし仮に「あの前問は両極化するがしかし位置付けない」ということは成り立つということはないとするとこのＵ字は汚すということはない fact18: もし仮になにがしかのものは追い上げるとすると「屈伏しないしそれは汚さない」ということは真実である fact19: もしこの生牡蛎がしどけなくないとしたらあの前問は羨ましい fact20: このサーバログ型は追い上げない fact21: 仮にこのＵ字が屈伏しないとすればあの全員は屈伏する fact22: もし仮に「この生牡蛎はしどけない」ということは成り立つとすると「両極化するしおまけに羨ましくない」ということは間違いだ fact23: もし何かは永小作権でないならばそれはしどけなくないかまたは御騒がせしないかどちらもだ fact24: 仮にある物は羨ましいなら「両極化するしさらに位置付けるということはない」ということは成り立たない
fact6 & fact14 -> int1: 「このＵ字は廃止するし更に義兄である」ということは偽である; int1 & fact1 -> int2: あの前問は汚さない; int2 & fact10 -> int3: この生牡蛎は両極化する; int3 & fact2 -> int4: 「その全員は両極化しないし更にそれは位置付けない」ということは成り立つということはない; fact13 -> int5: もし仮に「その全員は両極化しなくてその上位置付けない」ということは成り立つということはないとすれば屈伏しない; int4 & int5 -> hypothesis;
その全員は屈伏する
fact29 -> int6: もしあの前問が追い上げれば屈伏しなくてまた汚さない; fact28 & fact25 -> int7: この生牡蛎はしどけない; fact31 & int7 -> int8: 「「この生牡蛎は両極化するけれど羨ましくない」ということは事実だ」ということは成り立たない; int8 -> int9: 「「両極化するがしかし羨ましくない」ということは誤っている」物はある; int9 & fact30 -> int10: あの前問は両極化しない;
$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$ = 
fact6 & fact14 -> int1: 「このＵ字は廃止するし更に義兄である」ということは偽である; int1 & fact1 -> int2: あの前問は汚さない; int2 & fact10 -> int3: この生牡蛎は両極化する; int3 & fact2 -> int4: 「その全員は両極化しないし更にそれは位置付けない」ということは成り立つということはない; fact13 -> int5: もし仮に「その全員は両極化しなくてその上位置付けない」ということは成り立つということはないとすれば屈伏しない; int4 & int5 -> 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. 事実6と事実14から、推論1: "「このＵ字は廃止するし更に義兄である」ということは偽である"が導かれる
2. 推論1と事実1から、推論2: "あの前問は汚さない"が導かれる
3. 推論2と事実10から、推論3: "この生牡蛎は両極化する"が導かれる
4. 推論3と事実2から、推論4: "「その全員は両極化しないし更にそれは位置付けない」ということは成り立つということはない"が導かれる
5. 事実13から、推論5: "もし仮に「その全員は両極化しなくてその上位置付けない」ということは成り立つということはないとすれば屈伏しない"が導かれる
6. 推論4と推論5から、仮説が導かれる

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