その検査法は紺地だ
fact1: その検査法は低い fact2: もしもその検査法が続き易いならばそれは低いけど紺地でない fact3: 誤解し易いものは続き易くないがしかし紺地だ fact4: プレイ中は続き易くなくておまけに誤解し易くない fact5: 「その検査法は続き易い」ということは成り立つ fact6: この宿場町は低くない fact7: 「その検査法は続き易い」ということは真実であるとしたら低い
fact2 & fact5 -> int1: その検査法は低い一方で紺地でない; int1 -> hypothesis;
その検査法は紺地である
fact8 -> int2: もし仮にその検査法が誤解し易いとすると続き易くないしおまけにそれは紺地だ;
$facts$ = fact1: その検査法は低い fact2: もしもその検査法が続き易いならばそれは低いけど紺地でない fact3: 誤解し易いものは続き易くないがしかし紺地だ fact4: プレイ中は続き易くなくておまけに誤解し易くない fact5: 「その検査法は続き易い」ということは成り立つ fact6: この宿場町は低くない fact7: 「その検査法は続き易い」ということは真実であるとしたら低い ; $hypothesis$ = その検査法は紺地だ ; $proof$ = 
fact2 & fact5 -> int1: その検査法は低い一方で紺地でない; int1 -> hypothesis; __DISPROVED__
事実1: その検査法は低い
事実2: もしもその検査法が続き易いならばそれは低いけど紺地でない
事実3: 誤解し易いものは続き易くないがしかし紺地だ
事実4: プレイ中は続き易くなくておまけに誤解し易くない
事実5: 「その検査法は続き易い」ということは成り立つ
事実6: この宿場町は低くない
事実7: 「その検査法は続き易い」ということは真実であるとしたら低い

仮説: その検査法は紺地だ
1. 事実2と事実5から、推論1: "その検査法は低い一方で紺地でない"が導かれる
2. 推論1から、仮説が否定される

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