「小賢しいということとみっともないということが発生する」ということは成り立たない
fact1: 小賢しいということが生じる fact2: もしぽにぽちょLv.10事件は生じないとすれば「小賢しいということおよびみっともないということが発生する」ということは本当でない fact3: みっともないということが生じる
fact1 -> int1: 小賢しいということが生じる; int1 & fact3 -> hypothesis;
fact1 -> int1: {A}; int1 & fact3 -> hypothesis;
「小賢しいということとみっともないということが発生する」ということは成り立たない
$facts$ = fact1: 小賢しいということが生じる fact2: もしぽにぽちょLv.10事件は生じないとすれば「小賢しいということおよびみっともないということが発生する」ということは本当でない fact3: みっともないということが生じる ; $hypothesis$ = 「小賢しいということとみっともないということが発生する」ということは成り立たない ; $proof$ = 
fact1 -> int1: 小賢しいということが生じる; int1 & fact3 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}; int1 & fact3 -> hypothesis; __DISPROVED__