あのもわもにLv.83は底堅くない
fact1: もし何らかのモンスターは底堅いとしたら「ダッシュする」ということは確かだ fact2: あのもわもにLv.83は御濃くて更に寵する fact3: もし仮にあのもわもにLv.83が寵するとすればあのもわもにLv.83は落ち難い fact4: あのもわもにLv.83が落ち難いとするとそれは底堅い
fact2 -> int1: あのもわもにLv.83は寵する; int1 & fact3 -> int2: あのもわもにLv.83は落ち難い; int2 & fact4 -> hypothesis;
fact2 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact4 -> hypothesis;
もしもあのもわもにLv.83が底堅いとするとあのもわもにLv.83はダッシュする
fact5 -> hypothesis;
$facts$ = fact1: もし何らかのモンスターは底堅いとしたら「ダッシュする」ということは確かだ fact2: あのもわもにLv.83は御濃くて更に寵する fact3: もし仮にあのもわもにLv.83が寵するとすればあのもわもにLv.83は落ち難い fact4: あのもわもにLv.83が落ち難いとするとそれは底堅い ; $hypothesis$ = あのもわもにLv.83は底堅くない ; $proof$ = 
fact2 -> int1: あのもわもにLv.83は寵する; int1 & fact3 -> int2: あのもわもにLv.83は落ち難い; int2 & fact4 -> hypothesis; __DISPROVED__
fact2 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact4 -> hypothesis; __DISPROVED__