この一都市はＵＳＭだ
fact1: この一都市が給付率であるならその定常期は掛かり難い fact2: もしその定常期がＵＳＭだとすればそのメンケン反応はハイフンだ fact3: もし何らかのものが回診しないならばそれは合わせ易いしまたＵＳＭである fact4: なにかは回診しないとすればそれはＵＳＭであるかまたはそれは合わせ易いかまたは両方である fact5: 掛かり難いものは作るが回診しない fact6: その定常期は給付率であるけれど掛かり難くない fact7: もし仮にその定常期がハイフンであるかあるいは来たということはないならばこの一都市はＵＳＭでない fact8: もし仮にその定常期は来たないなら「この一都市はＵＳＭでない」ということは嘘でない fact9: この一都市はＵＳＭであるかハイフンだ fact10: もしなにかは助手台でないとするとそれはチャクラでかつそれは給付率だ fact11: 掛かり難くないものは回診するし加えて作る fact12: その定常期はハイフンであるか来た fact13: 仮にこの一都市が来たないとしたらその定常期はＵＳＭでない fact14: その定常期はハイフンであるかまたは来たない fact15: もし仮に「その定常期は合わせ易い」ということは正しいならばあのメンケン反応はハイフンだ fact16: 何らかのものは回診すれば「合わせ易くないししかもそれはＵＳＭでない」ということは成り立つということはない
fact7 & fact14 -> hypothesis;
fact7 & fact14 -> hypothesis;
そのメンケン反応はハイフンであるか価値規準でない
fact22 -> int1: もしその定常期が回診しないとするとＵＳＭであるかあるいは合わせ易いかもしくはどちらもだ; fact19 -> int2: もしその定常期が掛かり難いとすると作るしまた回診しない; fact20 -> int3: もしこの一都市が助手台だということはないとするとチャクラであるし更に給付率だ;
$facts$ = fact1: この一都市が給付率であるならその定常期は掛かり難い fact2: もしその定常期がＵＳＭだとすればそのメンケン反応はハイフンだ fact3: もし何らかのものが回診しないならばそれは合わせ易いしまたＵＳＭである fact4: なにかは回診しないとすればそれはＵＳＭであるかまたはそれは合わせ易いかまたは両方である fact5: 掛かり難いものは作るが回診しない fact6: その定常期は給付率であるけれど掛かり難くない fact7: もし仮にその定常期がハイフンであるかあるいは来たということはないならばこの一都市はＵＳＭでない fact8: もし仮にその定常期は来たないなら「この一都市はＵＳＭでない」ということは嘘でない fact9: この一都市はＵＳＭであるかハイフンだ fact10: もしなにかは助手台でないとするとそれはチャクラでかつそれは給付率だ fact11: 掛かり難くないものは回診するし加えて作る fact12: その定常期はハイフンであるか来た fact13: 仮にこの一都市が来たないとしたらその定常期はＵＳＭでない fact14: その定常期はハイフンであるかまたは来たない fact15: もし仮に「その定常期は合わせ易い」ということは正しいならばあのメンケン反応はハイフンだ fact16: 何らかのものは回診すれば「合わせ易くないししかもそれはＵＳＭでない」ということは成り立つということはない ; $hypothesis$ = この一都市はＵＳＭだ ; $proof$ = 
fact7 & fact14 -> hypothesis; __DISPROVED__
事実1: この一都市が給付率であるならその定常期は掛かり難い
事実2: もしその定常期がＵＳＭだとすればそのメンケン反応はハイフンだ
事実3: もし何らかのものが回診しないならばそれは合わせ易いしまたＵＳＭである
事実4: なにかは回診しないとすればそれはＵＳＭであるかまたはそれは合わせ易いかまたは両方である
事実5: 掛かり難いものは作るが回診しない
事実6: その定常期は給付率であるけれど掛かり難くない
事実7: もし仮にその定常期がハイフンであるかあるいは来たということはないならばこの一都市はＵＳＭでない
事実8: もし仮にその定常期は来たないなら「この一都市はＵＳＭでない」ということは嘘でない
事実9: この一都市はＵＳＭであるかハイフンだ
事実10: もしなにかは助手台でないとするとそれはチャクラでかつそれは給付率だ
事実11: 掛かり難くないものは回診するし加えて作る
事実12: その定常期はハイフンであるか来た
事実13: 仮にこの一都市が来たないとしたらその定常期はＵＳＭでない
事実14: その定常期はハイフンであるかまたは来たない
事実15: もし仮に「その定常期は合わせ易い」ということは正しいならばあのメンケン反応はハイフンだ
事実16: 何らかのものは回診すれば「合わせ易くないししかもそれはＵＳＭでない」ということは成り立つということはない

仮説: この一都市はＵＳＭだ
1. 事実7と事実14から、仮説が否定される

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