この県北は敵対しない
fact1: もし仮にあの目頭が生易しくないとするとそれは電子ビームでない fact2: 熱し易いものは読み難いがしかし売り込めない fact3: あの外国軍は電子ビームだけれどそれは配備しない fact4: もしもその性愛が制御盤であるとしたらその中央情報部は熱し易い fact5: もし仮にある物が洗い終わらないとすれば制御盤であるかあるいはタイトルらしいかあるいは両方ともだ fact6: もし「「あの目頭は禍々しいが生易しくない」ということは誤りである」ということは本当ならこの県北は敵対しない fact7: 生易しくない物は合併会社でない一方で自民党衆議院議員だ fact8: その黄金は都市名でない fact9: もし「一メガヘルツ波である」物があるならその黄金は都市名でないがしかしそれは継続し難い fact10: もし「あの目頭は生易しくない」ということは成り立つとすればそれは主参であるが電子ビームでない fact11: あの目頭は禍々しい fact12: もしもあの目頭が継続し難くない一方で禍々しいならばその黄金は生易しくない fact13: もし仮に「あるものは一メガヘルツ波であるかあるいは都市名だ」ということは誤りであるとすると「電子ビームであるということはない」ということは事実だ fact14: 一メガヘルツ波はある fact15: なにかは主参でないとすれば継続し難くないが禍々しい fact16: もしこの県北は電子ビームでないとすると「あの目頭は主参であるしかつそれは敵対する」ということは成り立つということはない fact17: もし仮にあの目頭が主参であるけど電子ビームでないとしたらこの県北は敵対する fact18: 仮にあるものは壺でないとすれば「一メガヘルツ波であるか都市名であるかあるいはどちらもだ」ということは嘘である fact19: 仮にその中央情報部が読み難いけれど売り込めないならこの県北は壺でない fact20: もしもこの般若経が維持管理するとすればあの性愛は維持管理する fact21: もしもあの目頭が生易しいしその上禍々しいならばその黄金は継続し難いということはない fact22: もしその性愛が維持管理するとすれば洗い終わらなくてセックス出来ない fact23: 何かは継続し難いならば「それは禍々しいしおまけにそれは生易しくない」ということは事実と異なる fact24: この般若経は上皮化するし維持管理する fact25: 「ある物は主参であるし加えて敵対する」ということは成り立たないならばそれは主参でない
void -> assump1: 以下のように仮定する。あの目頭は生易しい; assump1 & fact11 -> int1: あの目頭は生易しいしそれは禍々しい; int1 & fact21 -> int2: その黄金は継続し難くない; fact9 & fact14 -> int3: その黄金は都市名でないけどそれは継続し難い; int3 -> int4: その黄金は継続し難い; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの目頭は生易しくない; int6 & fact10 -> int7: あの目頭は主参だけど電子ビームであるということはない; int7 & fact17 -> hypothesis;
この県北は敵対しない
fact27 -> int8: もしあの目頭は継続し難いとしたら「それは禍々しくてそれは生易しくない」ということは成り立たない;
$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: この般若経は上皮化するし維持管理する fact25: 「ある物は主参であるし加えて敵対する」ということは成り立たないならばそれは主参でない ; $hypothesis$ = この県北は敵対しない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの目頭は生易しい; assump1 & fact11 -> int1: あの目頭は生易しいしそれは禍々しい; int1 & fact21 -> int2: その黄金は継続し難くない; fact9 & fact14 -> int3: その黄金は都市名でないけどそれは継続し難い; int3 -> int4: その黄金は継続し難い; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの目頭は生易しくない; int6 & fact10 -> int7: あの目頭は主参だけど電子ビームであるということはない; int7 & fact17 -> hypothesis; __DISPROVED__
事実1: もし仮にあの目頭が生易しくないとするとそれは電子ビームでない
事実2: 熱し易いものは読み難いがしかし売り込めない
事実3: あの外国軍は電子ビームだけれどそれは配備しない
事実4: もしもその性愛が制御盤であるとしたらその中央情報部は熱し易い
事実5: もし仮にある物が洗い終わらないとすれば制御盤であるかあるいはタイトルらしいかあるいは両方ともだ
事実6: もし「「あの目頭は禍々しいが生易しくない」ということは誤りである」ということは本当ならこの県北は敵対しない
事実7: 生易しくない物は合併会社でない一方で自民党衆議院議員だ
事実8: その黄金は都市名でない
事実9: もし「一メガヘルツ波である」物があるならその黄金は都市名でないがしかしそれは継続し難い
事実10: もし「あの目頭は生易しくない」ということは成り立つとすればそれは主参であるが電子ビームでない
事実11: あの目頭は禍々しい
事実12: もしもあの目頭が継続し難くない一方で禍々しいならばその黄金は生易しくない
事実13: もし仮に「あるものは一メガヘルツ波であるかあるいは都市名だ」ということは誤りであるとすると「電子ビームであるということはない」ということは事実だ
事実14: 一メガヘルツ波はある
事実15: なにかは主参でないとすれば継続し難くないが禍々しい
事実16: もしこの県北は電子ビームでないとすると「あの目頭は主参であるしかつそれは敵対する」ということは成り立つということはない
事実17: もし仮にあの目頭が主参であるけど電子ビームでないとしたらこの県北は敵対する
事実18: 仮にあるものは壺でないとすれば「一メガヘルツ波であるか都市名であるかあるいはどちらもだ」ということは嘘である
事実19: 仮にその中央情報部が読み難いけれど売り込めないならこの県北は壺でない
事実20: もしもこの般若経が維持管理するとすればあの性愛は維持管理する
事実21: もしもあの目頭が生易しいしその上禍々しいならばその黄金は継続し難いということはない
事実22: もしその性愛が維持管理するとすれば洗い終わらなくてセックス出来ない
事実23: 何かは継続し難いならば「それは禍々しいしおまけにそれは生易しくない」ということは事実と異なる
事実24: この般若経は上皮化するし維持管理する
事実25: 「ある物は主参であるし加えて敵対する」ということは成り立たないならばそれは主参でない

仮説: この県北は敵対しない
1. 仮定1: 以下のように仮定する。あの目頭は生易しい
2. 仮定1と事実11から、推論1: "あの目頭は生易しいしそれは禍々しい"が導かれる
3. 推論1と事実21から、推論2: "その黄金は継続し難くない"が導かれる
4. 事実9と事実14から、推論3: "その黄金は都市名でないけどそれは継続し難い"が導かれる
5. 推論3から、推論4: "その黄金は継続し難い"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あの目頭は生易しくない"が導かれる
8. 推論6と事実10から、推論7: "あの目頭は主参だけど電子ビームであるということはない"が導かれる
9. 推論7と事実17から、仮説が否定される

よって、仮説が否定されました。