この聖餐式は聞き辛くなくてかつそれは寝苦しくない
fact1: あの陽性像は聞き辛い fact2: この聖餐式は通りがかる fact3: その食品スーパーは寝苦しくない fact4: この聖餐式は徹底振りでなくてかつ賠償金支払いであるということはない fact5: この白山権現は聞き辛くなくてそれに活動し難くない fact6: その食品スーパーは扱い始めない fact7: 「その鰆は通りがかる」ということは成り立つ fact8: もし仮にその食品スーパーが通りがかるとしたらこの聖餐式は聞き辛いということはなくてまた寝苦しいということはない fact9: もしこの聖餐式が通りがかるならその食品スーパーは聞き辛くないしその上寝苦しくない fact10: もしもこの聖餐式が寝苦しいとするとその食品スーパーが聞き辛くないしそれに通りはからない fact11: この聖餐式は寝苦しくない fact12: 「その食品スーパーは通りがかる」ということは成り立つ fact13: もしその食品スーパーが寝苦しいとすればあの聖餐式が聞き辛いということはなくて通りはからない
fact8 & fact12 -> hypothesis;
fact8 & fact12 -> hypothesis;
$facts$ = fact1: あの陽性像は聞き辛い fact2: この聖餐式は通りがかる fact3: その食品スーパーは寝苦しくない fact4: この聖餐式は徹底振りでなくてかつ賠償金支払いであるということはない fact5: この白山権現は聞き辛くなくてそれに活動し難くない fact6: その食品スーパーは扱い始めない fact7: 「その鰆は通りがかる」ということは成り立つ fact8: もし仮にその食品スーパーが通りがかるとしたらこの聖餐式は聞き辛いということはなくてまた寝苦しいということはない fact9: もしこの聖餐式が通りがかるならその食品スーパーは聞き辛くないしその上寝苦しくない fact10: もしもこの聖餐式が寝苦しいとするとその食品スーパーが聞き辛くないしそれに通りはからない fact11: この聖餐式は寝苦しくない fact12: 「その食品スーパーは通りがかる」ということは成り立つ fact13: もしその食品スーパーが寝苦しいとすればあの聖餐式が聞き辛いということはなくて通りはからない ; $hypothesis$ = この聖餐式は聞き辛くなくてかつそれは寝苦しくない ; $proof$ = 
fact8 & fact12 -> hypothesis; __PROVED__
事実1: あの陽性像は聞き辛い
事実2: この聖餐式は通りがかる
事実3: その食品スーパーは寝苦しくない
事実4: この聖餐式は徹底振りでなくてかつ賠償金支払いであるということはない
事実5: この白山権現は聞き辛くなくてそれに活動し難くない
事実6: その食品スーパーは扱い始めない
事実7: 「その鰆は通りがかる」ということは成り立つ
事実8: もし仮にその食品スーパーが通りがかるとしたらこの聖餐式は聞き辛いということはなくてまた寝苦しいということはない
事実9: もしこの聖餐式が通りがかるならその食品スーパーは聞き辛くないしその上寝苦しくない
事実10: もしもこの聖餐式が寝苦しいとするとその食品スーパーが聞き辛くないしそれに通りはからない
事実11: この聖餐式は寝苦しくない
事実12: 「その食品スーパーは通りがかる」ということは成り立つ
事実13: もしその食品スーパーが寝苦しいとすればあの聖餐式が聞き辛いということはなくて通りはからない

仮説: この聖餐式は聞き辛くなくてかつそれは寝苦しくない
1. 事実8と事実12から、仮説が導かれる

よって、仮説が証明されました。