この丹波島宿は返り咲かなくて降り出さない
fact1: 「この丹波島宿は引き易くない」ということは正しいならば「返り咲かなくて降り出さない」ということは成り立たない fact2: 仮にこの丹波島宿は引き易くないとすると「それは返り咲くし降り出さない」ということは間違いである fact3: その本草は返り咲かない fact4: もしもこの丹波島宿は引き易くないなら「返り咲かない一方で降り出す」ということは誤っている fact5: 「この丹波島宿は返り咲かないけれどそれは降り出す」ということは本当でない fact6: この丹波島宿は引き易くない fact7: あの奉公先は引き易くない fact8: この丹波島宿は返済し終えない fact9: 「この丹波島宿は返り咲くがしかし降り出さない」ということは誤りだ fact10: この丹波島宿は太字でない fact11: もし仮にあの残滓が引き易いとするとこの丹波島宿は返り咲かなくて降り出すということはない
fact1 & fact6 -> hypothesis;
fact1 & fact6 -> hypothesis;
この丹波島宿は返り咲かないしさらに降り出さない
$facts$ = fact1: 「この丹波島宿は引き易くない」ということは正しいならば「返り咲かなくて降り出さない」ということは成り立たない fact2: 仮にこの丹波島宿は引き易くないとすると「それは返り咲くし降り出さない」ということは間違いである fact3: その本草は返り咲かない fact4: もしもこの丹波島宿は引き易くないなら「返り咲かない一方で降り出す」ということは誤っている fact5: 「この丹波島宿は返り咲かないけれどそれは降り出す」ということは本当でない fact6: この丹波島宿は引き易くない fact7: あの奉公先は引き易くない fact8: この丹波島宿は返済し終えない fact9: 「この丹波島宿は返り咲くがしかし降り出さない」ということは誤りだ fact10: この丹波島宿は太字でない fact11: もし仮にあの残滓が引き易いとするとこの丹波島宿は返り咲かなくて降り出すということはない ; $hypothesis$ = この丹波島宿は返り咲かなくて降り出さない ; $proof$ = 
fact1 & fact6 -> hypothesis; __DISPROVED__
事実1: 「この丹波島宿は引き易くない」ということは正しいならば「返り咲かなくて降り出さない」ということは成り立たない
事実2: 仮にこの丹波島宿は引き易くないとすると「それは返り咲くし降り出さない」ということは間違いである
事実3: その本草は返り咲かない
事実4: もしもこの丹波島宿は引き易くないなら「返り咲かない一方で降り出す」ということは誤っている
事実5: 「この丹波島宿は返り咲かないけれどそれは降り出す」ということは本当でない
事実6: この丹波島宿は引き易くない
事実7: あの奉公先は引き易くない
事実8: この丹波島宿は返済し終えない
事実9: 「この丹波島宿は返り咲くがしかし降り出さない」ということは誤りだ
事実10: この丹波島宿は太字でない
事実11: もし仮にあの残滓が引き易いとするとこの丹波島宿は返り咲かなくて降り出すということはない

仮説: この丹波島宿は返り咲かなくて降り出さない
1. 事実1と事実6から、仮説が否定される

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