そのぽわぽのLv.54は狂おしくない
fact1: 仮にそのぽわぽのLv.54が見難いとしたらそのぽわぽのLv.54は狂おしい fact2: もしもあのぷいぷわLv.17が危ういならそのぽわぽのLv.54は見難い fact3: もし仮にあのぷいぷわLv.17が確認し易いとするとそのぽわぽのLv.54は見難い fact4: あのぷいぷわLv.17は確認し易いかそれは危ういかあるいは両方である
fact4 & fact3 & fact2 -> int1: そのぽわぽのLv.54は見難い; int1 & fact1 -> hypothesis;
fact4 & fact3 & fact2 -> int1: {C}{c}; int1 & fact1 -> hypothesis;
$facts$ = fact1: 仮にそのぽわぽのLv.54が見難いとしたらそのぽわぽのLv.54は狂おしい fact2: もしもあのぷいぷわLv.17が危ういならそのぽわぽのLv.54は見難い fact3: もし仮にあのぷいぷわLv.17が確認し易いとするとそのぽわぽのLv.54は見難い fact4: あのぷいぷわLv.17は確認し易いかそれは危ういかあるいは両方である ; $hypothesis$ = そのぽわぽのLv.54は狂おしくない ; $proof$ = 
fact4 & fact3 & fact2 -> int1: そのぽわぽのLv.54は見難い; int1 & fact1 -> hypothesis; __DISPROVED__
fact4 & fact3 & fact2 -> int1: {C}{c}; int1 & fact1 -> hypothesis; __DISPROVED__