この浅草公園は男らしくない
fact1: 仮にあのサービス貿易が分かり過ぎないかあるいは忍びであるとするとこの浅草公園は男らしい fact2: この浅草公園は青色申告決算書だ fact3: 領地は拭い難い fact4: ある物は慌ただしいとしたら「それは分かり過ぎないしまた蒲鉾型でない」ということは成り立たない fact5: あのサービス貿易は忍びでおまけに蒲鉾型だ fact6: 仮にとある物が忍びでないとすれば男らしいということはない fact7: 「もし「あの証明書類は黒くないしそれに鍼灸師であるということはない」ということは間違っているとするとあの四半期決算は領地である」ということは本当である fact8: あのポンプは移り難いかあるいは炭坑でないかあるいは両方ともだ fact9: あの司教は入り辛いしおまけに一部事務組合だ fact10: この浅草公園はがめつくてそれに所らしい fact11: この浅草公園は急上昇する fact12: もし「なにかは炭坑でない」ということは正しいとすると「黒いということはなくてそれは鍼灸師でない」ということは間違いだ fact13: この堤防上が慌ただしいとするとあのサービス貿易は慌ただしい fact14: 仮にあの四半期決算は拭い難いとすれば「この堤防上はレーザー技術でないけどそれは当たり易い」ということは誤っている fact15: この浅草公園は蒲鉾型である fact16: あのサービス貿易は蒲鉾型である fact17: あのサービス貿易は分かり過ぎるかまたはそれは忍びであるか両方ともである fact18: あのサービス貿易が分かり過ぎないとすればあの浅草公園は男らしい fact19: 仮にあのサービス貿易は慌ただしいとしたら「この浅草公園は慌ただしい」ということは成り立つ fact20: 仮に「何らかのものはレーザー技術でないけど当たり易い」ということは成り立たないとしたらそれは慌ただしい fact21: もし仮にその来院が炭坑でないならあの証明書類は炭坑だということはない fact22: この浅草公園は分かり過ぎないかもしくはそれは男らしい
fact5 -> int1: 「あのサービス貿易は忍びだ」ということは確かである; int1 -> int2: あのサービス貿易は分かり過ぎるということはないかあるいは忍びであるか両方ともである; int2 & fact1 -> hypothesis;
この浅草公園は男らしくない
fact25 -> int3: もしもこの浅草公園は忍びでないとしたら男らしくない; fact31 -> int4: もし「この浅草公園は慌ただしい」ということは確かであるとしたら「分かり過ぎないしかつ蒲鉾型でない」ということは成り立たない; fact27 -> int5: もし仮に「この堤防上はレーザー技術でないけど当たり易い」ということは成り立たないならば慌ただしい; fact29 -> int6: もし仮にあの四半期決算が領地だとするとそれは拭い難い; fact33 -> int7: もし仮にあの証明書類は炭坑であるということはないなら「それは黒くないしまた鍼灸師でない」ということは間違いである; fact32 -> int8: 「移り難いか炭坑だということはない」ものはある;
$facts$ = fact1: 仮にあのサービス貿易が分かり過ぎないかあるいは忍びであるとするとこの浅草公園は男らしい fact2: この浅草公園は青色申告決算書だ fact3: 領地は拭い難い fact4: ある物は慌ただしいとしたら「それは分かり過ぎないしまた蒲鉾型でない」ということは成り立たない fact5: あのサービス貿易は忍びでおまけに蒲鉾型だ fact6: 仮にとある物が忍びでないとすれば男らしいということはない fact7: 「もし「あの証明書類は黒くないしそれに鍼灸師であるということはない」ということは間違っているとするとあの四半期決算は領地である」ということは本当である fact8: あのポンプは移り難いかあるいは炭坑でないかあるいは両方ともだ fact9: あの司教は入り辛いしおまけに一部事務組合だ fact10: この浅草公園はがめつくてそれに所らしい fact11: この浅草公園は急上昇する fact12: もし「なにかは炭坑でない」ということは正しいとすると「黒いということはなくてそれは鍼灸師でない」ということは間違いだ fact13: この堤防上が慌ただしいとするとあのサービス貿易は慌ただしい fact14: 仮にあの四半期決算は拭い難いとすれば「この堤防上はレーザー技術でないけどそれは当たり易い」ということは誤っている fact15: この浅草公園は蒲鉾型である fact16: あのサービス貿易は蒲鉾型である fact17: あのサービス貿易は分かり過ぎるかまたはそれは忍びであるか両方ともである fact18: あのサービス貿易が分かり過ぎないとすればあの浅草公園は男らしい fact19: 仮にあのサービス貿易は慌ただしいとしたら「この浅草公園は慌ただしい」ということは成り立つ fact20: 仮に「何らかのものはレーザー技術でないけど当たり易い」ということは成り立たないとしたらそれは慌ただしい fact21: もし仮にその来院が炭坑でないならあの証明書類は炭坑だということはない fact22: この浅草公園は分かり過ぎないかもしくはそれは男らしい ; $hypothesis$ = この浅草公園は男らしくない ; $proof$ = 
fact5 -> int1: 「あのサービス貿易は忍びだ」ということは確かである; int1 -> int2: あのサービス貿易は分かり過ぎるということはないかあるいは忍びであるか両方ともである; int2 & fact1 -> hypothesis; __DISPROVED__
事実1: 仮にあのサービス貿易が分かり過ぎないかあるいは忍びであるとするとこの浅草公園は男らしい
事実2: この浅草公園は青色申告決算書だ
事実3: 領地は拭い難い
事実4: ある物は慌ただしいとしたら「それは分かり過ぎないしまた蒲鉾型でない」ということは成り立たない
事実5: あのサービス貿易は忍びでおまけに蒲鉾型だ
事実6: 仮にとある物が忍びでないとすれば男らしいということはない
事実7: 「もし「あの証明書類は黒くないしそれに鍼灸師であるということはない」ということは間違っているとするとあの四半期決算は領地である」ということは本当である
事実8: あのポンプは移り難いかあるいは炭坑でないかあるいは両方ともだ
事実9: あの司教は入り辛いしおまけに一部事務組合だ
事実10: この浅草公園はがめつくてそれに所らしい
事実11: この浅草公園は急上昇する
事実12: もし「なにかは炭坑でない」ということは正しいとすると「黒いということはなくてそれは鍼灸師でない」ということは間違いだ
事実13: この堤防上が慌ただしいとするとあのサービス貿易は慌ただしい
事実14: 仮にあの四半期決算は拭い難いとすれば「この堤防上はレーザー技術でないけどそれは当たり易い」ということは誤っている
事実15: この浅草公園は蒲鉾型である
事実16: あのサービス貿易は蒲鉾型である
事実17: あのサービス貿易は分かり過ぎるかまたはそれは忍びであるか両方ともである
事実18: あのサービス貿易が分かり過ぎないとすればあの浅草公園は男らしい
事実19: 仮にあのサービス貿易は慌ただしいとしたら「この浅草公園は慌ただしい」ということは成り立つ
事実20: 仮に「何らかのものはレーザー技術でないけど当たり易い」ということは成り立たないとしたらそれは慌ただしい
事実21: もし仮にその来院が炭坑でないならあの証明書類は炭坑だということはない
事実22: この浅草公園は分かり過ぎないかもしくはそれは男らしい

仮説: この浅草公園は男らしくない
1. 事実5から、推論1: "「あのサービス貿易は忍びだ」ということは確かである"が導かれる
2. 推論1から、推論2: "あのサービス貿易は分かり過ぎるということはないかあるいは忍びであるか両方ともである"が導かれる
3. 推論2と事実1から、仮説が否定される

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