このＫＥは蒸し上がる
fact1: もしもこの川崎宿が蒸し上がらないしそれがベース・キャンプでないとするとこのＫＥは瞬きしない fact2: この川崎宿は瞬きしないしそれはベース・キャンプでない fact3: このＫＥは来難くないしまたそれは地主でない fact4: この川崎宿は蒸し上がるということはなくて更にベース・キャンプでない fact5: 「この川崎宿は蒸し上がるということはない」ということは確かである fact6: もしもこのＫＥが蒸し上がらなくてそれが瞬きしないならこの川崎宿はベース・キャンプでない fact7: この川崎宿はベース・キャンプでないし蒸し上がるということはない fact8: この川崎宿が瞬きしないけれどそれがベース・キャンプであるならばあのＫＥは蒸し上がらない fact9: 仮にこの川崎宿が瞬きしなくてベース・キャンプでないならばこのＫＥは蒸し上がらない fact10: このＫＥは居辛いということはない fact11: この川崎宿はベース・キャンプでない
fact9 & fact2 -> hypothesis;
fact9 & fact2 -> hypothesis;
$facts$ = fact1: もしもこの川崎宿が蒸し上がらないしそれがベース・キャンプでないとするとこのＫＥは瞬きしない fact2: この川崎宿は瞬きしないしそれはベース・キャンプでない fact3: このＫＥは来難くないしまたそれは地主でない fact4: この川崎宿は蒸し上がるということはなくて更にベース・キャンプでない fact5: 「この川崎宿は蒸し上がるということはない」ということは確かである fact6: もしもこのＫＥが蒸し上がらなくてそれが瞬きしないならこの川崎宿はベース・キャンプでない fact7: この川崎宿はベース・キャンプでないし蒸し上がるということはない fact8: この川崎宿が瞬きしないけれどそれがベース・キャンプであるならばあのＫＥは蒸し上がらない fact9: 仮にこの川崎宿が瞬きしなくてベース・キャンプでないならばこのＫＥは蒸し上がらない fact10: このＫＥは居辛いということはない fact11: この川崎宿はベース・キャンプでない ; $hypothesis$ = このＫＥは蒸し上がる ; $proof$ = 
fact9 & fact2 -> hypothesis; __DISPROVED__
事実1: もしもこの川崎宿が蒸し上がらないしそれがベース・キャンプでないとするとこのＫＥは瞬きしない
事実2: この川崎宿は瞬きしないしそれはベース・キャンプでない
事実3: このＫＥは来難くないしまたそれは地主でない
事実4: この川崎宿は蒸し上がるということはなくて更にベース・キャンプでない
事実5: 「この川崎宿は蒸し上がるということはない」ということは確かである
事実6: もしもこのＫＥが蒸し上がらなくてそれが瞬きしないならこの川崎宿はベース・キャンプでない
事実7: この川崎宿はベース・キャンプでないし蒸し上がるということはない
事実8: この川崎宿が瞬きしないけれどそれがベース・キャンプであるならばあのＫＥは蒸し上がらない
事実9: 仮にこの川崎宿が瞬きしなくてベース・キャンプでないならばこのＫＥは蒸し上がらない
事実10: このＫＥは居辛いということはない
事実11: この川崎宿はベース・キャンプでない

仮説: このＫＥは蒸し上がる
1. 事実9と事実2から、仮説が否定される

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