「もし「野太くないものでありそれに長子相続制でない」ということは偽であるとすると「複数登録しない」ということは成り立つ」ものはある
fact1: 「もし「やくざっぽくなくてしかも行末であるということはない」ということは成り立たないならど偉くない」ものはある fact2: 「この夜間痛は溢れないし取り繕わない」ということは誤っているとしたら五十九年度である fact3: 「もし「野太くないしその上長子相続制でない」ということは嘘であるとすると複数登録する」ものはある fact4: もし「あの背腹軸はザートでなくてＭＢＩ改訂版だということはない」ということは間違いだとすれば宇宙初期でない fact5: もし「あの背腹軸は野太くないし更に全国一でない」ということは間違いでないならばそれは五十九年度でない fact6: 「あの背腹軸は野太くないし更に長子相続制でない」ということは誤っているならそれは複数登録するということはない fact7: 「もし仮に「野太いしまた長子相続制でない」ということは成り立たないなら複数登録するということはない」ものはある fact8: 仮にあの背腹軸が長子相続制ならそれは複数登録するということはない fact9: 仮に「その馬子達は人民中国だということはなくて更に極秘情報であるということはない」ということは成り立たないならばそれはミステリ散歩である fact10: 「もし近しとしたら「重々しかない」ということは本当な」物はある fact11: 「もしも「野太くないしおまけに長子相続制だ」ということは成り立たないとすると複数登録しない」物はある fact12: 仮に「「あの背腹軸は複数登録しなくて意識状態でない」ということは成り立つ」ということは間違っているとすると相談し易い fact13: 「もし「青葱でなくてまた村中でない」ということは成り立たないならば植民しない」物はある fact14: 「もしも野太いならば複数登録しない」ものはある fact15: もしも「あの背腹軸は野太いがしかし長子相続制でない」ということは嘘だとすれば「複数登録しない」ということは事実だ fact16: もし仮に「なにがしかの物は夥しくなくて政治小説でない」ということは成り立たないとしたら束ねらない fact17: 「仕事人間であるとすれば主権者でない」物はある fact18: もし仮にあの背腹軸が長子相続制でないしまたそれが素人っぽくないとすれば代表者でない fact19: 「もし野太くないしおまけに長子相続制でないとしたら複数登録しない」ものはある
fact6 -> hypothesis;
「もしも「夥しいということはないしそれに政治小説でない」ということは成り立たないとしたら束ねらない」物はある
fact20 -> int1: もしも「あの避難階段は夥しくなくて政治小説であるということはない」ということは偽であるならば束ねらない; int1 -> hypothesis;
$facts$ = fact1: 「もし「やくざっぽくなくてしかも行末であるということはない」ということは成り立たないならど偉くない」ものはある fact2: 「この夜間痛は溢れないし取り繕わない」ということは誤っているとしたら五十九年度である fact3: 「もし「野太くないしその上長子相続制でない」ということは嘘であるとすると複数登録する」ものはある fact4: もし「あの背腹軸はザートでなくてＭＢＩ改訂版だということはない」ということは間違いだとすれば宇宙初期でない fact5: もし「あの背腹軸は野太くないし更に全国一でない」ということは間違いでないならばそれは五十九年度でない fact6: 「あの背腹軸は野太くないし更に長子相続制でない」ということは誤っているならそれは複数登録するということはない fact7: 「もし仮に「野太いしまた長子相続制でない」ということは成り立たないなら複数登録するということはない」ものはある fact8: 仮にあの背腹軸が長子相続制ならそれは複数登録するということはない fact9: 仮に「その馬子達は人民中国だということはなくて更に極秘情報であるということはない」ということは成り立たないならばそれはミステリ散歩である fact10: 「もし近しとしたら「重々しかない」ということは本当な」物はある fact11: 「もしも「野太くないしおまけに長子相続制だ」ということは成り立たないとすると複数登録しない」物はある fact12: 仮に「「あの背腹軸は複数登録しなくて意識状態でない」ということは成り立つ」ということは間違っているとすると相談し易い fact13: 「もし「青葱でなくてまた村中でない」ということは成り立たないならば植民しない」物はある fact14: 「もしも野太いならば複数登録しない」ものはある fact15: もしも「あの背腹軸は野太いがしかし長子相続制でない」ということは嘘だとすれば「複数登録しない」ということは事実だ fact16: もし仮に「なにがしかの物は夥しくなくて政治小説でない」ということは成り立たないとしたら束ねらない fact17: 「仕事人間であるとすれば主権者でない」物はある fact18: もし仮にあの背腹軸が長子相続制でないしまたそれが素人っぽくないとすれば代表者でない fact19: 「もし野太くないしおまけに長子相続制でないとしたら複数登録しない」ものはある ; $hypothesis$ = 「もし「野太くないものでありそれに長子相続制でない」ということは偽であるとすると「複数登録しない」ということは成り立つ」ものはある ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: 「もし「やくざっぽくなくてしかも行末であるということはない」ということは成り立たないならど偉くない」ものはある
事実2: 「この夜間痛は溢れないし取り繕わない」ということは誤っているとしたら五十九年度である
事実3: 「もし「野太くないしその上長子相続制でない」ということは嘘であるとすると複数登録する」ものはある
事実4: もし「あの背腹軸はザートでなくてＭＢＩ改訂版だということはない」ということは間違いだとすれば宇宙初期でない
事実5: もし「あの背腹軸は野太くないし更に全国一でない」ということは間違いでないならばそれは五十九年度でない
事実6: 「あの背腹軸は野太くないし更に長子相続制でない」ということは誤っているならそれは複数登録するということはない
事実7: 「もし仮に「野太いしまた長子相続制でない」ということは成り立たないなら複数登録するということはない」ものはある
事実8: 仮にあの背腹軸が長子相続制ならそれは複数登録するということはない
事実9: 仮に「その馬子達は人民中国だということはなくて更に極秘情報であるということはない」ということは成り立たないならばそれはミステリ散歩である
事実10: 「もし近しとしたら「重々しかない」ということは本当な」物はある
事実11: 「もしも「野太くないしおまけに長子相続制だ」ということは成り立たないとすると複数登録しない」物はある
事実12: 仮に「「あの背腹軸は複数登録しなくて意識状態でない」ということは成り立つ」ということは間違っているとすると相談し易い
事実13: 「もし「青葱でなくてまた村中でない」ということは成り立たないならば植民しない」物はある
事実14: 「もしも野太いならば複数登録しない」ものはある
事実15: もしも「あの背腹軸は野太いがしかし長子相続制でない」ということは嘘だとすれば「複数登録しない」ということは事実だ
事実16: もし仮に「なにがしかの物は夥しくなくて政治小説でない」ということは成り立たないとしたら束ねらない
事実17: 「仕事人間であるとすれば主権者でない」物はある
事実18: もし仮にあの背腹軸が長子相続制でないしまたそれが素人っぽくないとすれば代表者でない
事実19: 「もし野太くないしおまけに長子相続制でないとしたら複数登録しない」ものはある

仮説: 「もし「野太くないものでありそれに長子相続制でない」ということは偽であるとすると「複数登録しない」ということは成り立つ」ものはある
1. 事実6から、仮説が導かれる

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