そのぽえぽわLv.45は出し難くない
fact1: そのぽえぽわLv.45が薄明るいならばそれは移り易い fact2: もし仮にとあるモンスターは薄明るくなくてみっともなくないとすればそれは出し難くない fact3: なんらかのモンスターが恐れ多いなら出し難い fact4: もしそのぽえぽわLv.45が移り易いならそのぽえぽわLv.45は売り難い fact5: 仮にそのぽえぽわLv.45が生じ易いとしたらそれは出し難い fact6: そのぽえぽわLv.45はみっともないしその上薄明るい fact7: そのぽえぽわLv.45はみっともない fact8: もしもそのぽえぽわLv.45が売り難いならば生じ易い
fact6 -> int1: そのぽえぽわLv.45は薄明るい; int1 & fact1 -> int2: そのぽえぽわLv.45は移り易い; int2 & fact4 -> int3: そのぽえぽわLv.45は売り難い; int3 & fact8 -> int4: そのぽえぽわLv.45は生じ易い; int4 & fact5 -> hypothesis;
fact6 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact4 -> int3: {D}{a}; int3 & fact8 -> int4: {E}{a}; int4 & fact5 -> hypothesis;
そのぷちゃぷちゅLv.88が恐れ多いなら出し難い
fact9 -> hypothesis;
$facts$ = fact1: そのぽえぽわLv.45が薄明るいならばそれは移り易い fact2: もし仮にとあるモンスターは薄明るくなくてみっともなくないとすればそれは出し難くない fact3: なんらかのモンスターが恐れ多いなら出し難い fact4: もしそのぽえぽわLv.45が移り易いならそのぽえぽわLv.45は売り難い fact5: 仮にそのぽえぽわLv.45が生じ易いとしたらそれは出し難い fact6: そのぽえぽわLv.45はみっともないしその上薄明るい fact7: そのぽえぽわLv.45はみっともない fact8: もしもそのぽえぽわLv.45が売り難いならば生じ易い ; $hypothesis$ = そのぽえぽわLv.45は出し難くない ; $proof$ = 
fact6 -> int1: そのぽえぽわLv.45は薄明るい; int1 & fact1 -> int2: そのぽえぽわLv.45は移り易い; int2 & fact4 -> int3: そのぽえぽわLv.45は売り難い; int3 & fact8 -> int4: そのぽえぽわLv.45は生じ易い; int4 & fact5 -> hypothesis; __DISPROVED__
fact6 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact4 -> int3: {D}{a}; int3 & fact8 -> int4: {E}{a}; int4 & fact5 -> hypothesis; __DISPROVED__