このモスクワ当局は宜しいということはない
fact1: もしもその個人演説会は暗ししおまけに財務局であるならそれは主しない fact2: 「その個人演説会は暗し」ということは成り立つ fact3: このモスクワ当局は主するし更に暗し fact4: その個人演説会は森美術館でないけど訳了するとすると主する fact5: もし仮にその個人演説会が訳了しないならこのモスクワ当局は宜しくない fact6: もしその個人演説会は暗しないけど宜しいならばそれは主する fact7: もし仮にこの汚染浄化費用が広ーくないならあの分割数は憂くないししかも暗しない fact8: 仮にあの分割数が憂くないし暗しないとするとその個人演説会は財務局でない fact9: その個人演説会は訳了する fact10: もし仮にその個人演説会が財務局でないとするとこのモスクワ当局は宜しくてまた楽員だ fact11: このモスクワ当局が暗しないけれど宜しいなら財務局だ fact12: 仮にとあるものは主しないししかも財務局でないならそれは宜しい fact13: もし「その個人演説会は森美術館でないがそれは訳了する」ということは事実と異なるならこのモスクワ当局は宜しくない fact14: その個人演説会は宜しくない fact15: その個人演説会が暗ししその上それは財務局だ fact16: その千九百八十四年町勢要覧は宜しくないがしかしマーケティング論だ
void -> assump1: 以下のように仮定する。その個人演説会は森美術館でないが訳了する; fact4 & assump1 -> int1: その個人演説会は主する; fact15 & fact1 -> int2: 「その個人演説会は主しない」ということは偽であるということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その個人演説会は森美術館でないが訳了する」ということは間違っている; int4 & fact13 -> hypothesis;
このモスクワ当局は宜しい
fact17 -> int5: 仮にこのモスクワ当局が主しないしおまけに財務局でないならば宜しい;
$facts$ = fact1: もしもその個人演説会は暗ししおまけに財務局であるならそれは主しない fact2: 「その個人演説会は暗し」ということは成り立つ fact3: このモスクワ当局は主するし更に暗し fact4: その個人演説会は森美術館でないけど訳了するとすると主する fact5: もし仮にその個人演説会が訳了しないならこのモスクワ当局は宜しくない fact6: もしその個人演説会は暗しないけど宜しいならばそれは主する fact7: もし仮にこの汚染浄化費用が広ーくないならあの分割数は憂くないししかも暗しない fact8: 仮にあの分割数が憂くないし暗しないとするとその個人演説会は財務局でない fact9: その個人演説会は訳了する fact10: もし仮にその個人演説会が財務局でないとするとこのモスクワ当局は宜しくてまた楽員だ fact11: このモスクワ当局が暗しないけれど宜しいなら財務局だ fact12: 仮にとあるものは主しないししかも財務局でないならそれは宜しい fact13: もし「その個人演説会は森美術館でないがそれは訳了する」ということは事実と異なるならこのモスクワ当局は宜しくない fact14: その個人演説会は宜しくない fact15: その個人演説会が暗ししその上それは財務局だ fact16: その千九百八十四年町勢要覧は宜しくないがしかしマーケティング論だ ; $hypothesis$ = このモスクワ当局は宜しいということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。その個人演説会は森美術館でないが訳了する; fact4 & assump1 -> int1: その個人演説会は主する; fact15 & fact1 -> int2: 「その個人演説会は主しない」ということは偽であるということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その個人演説会は森美術館でないが訳了する」ということは間違っている; int4 & fact13 -> hypothesis; __PROVED__
事実1: もしもその個人演説会は暗ししおまけに財務局であるならそれは主しない
事実2: 「その個人演説会は暗し」ということは成り立つ
事実3: このモスクワ当局は主するし更に暗し
事実4: その個人演説会は森美術館でないけど訳了するとすると主する
事実5: もし仮にその個人演説会が訳了しないならこのモスクワ当局は宜しくない
事実6: もしその個人演説会は暗しないけど宜しいならばそれは主する
事実7: もし仮にこの汚染浄化費用が広ーくないならあの分割数は憂くないししかも暗しない
事実8: 仮にあの分割数が憂くないし暗しないとするとその個人演説会は財務局でない
事実9: その個人演説会は訳了する
事実10: もし仮にその個人演説会が財務局でないとするとこのモスクワ当局は宜しくてまた楽員だ
事実11: このモスクワ当局が暗しないけれど宜しいなら財務局だ
事実12: 仮にとあるものは主しないししかも財務局でないならそれは宜しい
事実13: もし「その個人演説会は森美術館でないがそれは訳了する」ということは事実と異なるならこのモスクワ当局は宜しくない
事実14: その個人演説会は宜しくない
事実15: その個人演説会が暗ししその上それは財務局だ
事実16: その千九百八十四年町勢要覧は宜しくないがしかしマーケティング論だ

仮説: このモスクワ当局は宜しいということはない
1. 仮定1: 以下のように仮定する。その個人演説会は森美術館でないが訳了する
2. 事実4と仮定1から、推論1: "その個人演説会は主する"が導かれる
3. 事実15と事実1から、推論2: "「その個人演説会は主しない」ということは偽であるということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「その個人演説会は森美術館でないが訳了する」ということは間違っている"が導かれる
6. 推論4と事実13から、仮説が導かれる

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