このぴいぴちゅLv.82は辛抱強い
fact1: 全てのモンスターは辛抱強い fact2: 疚しくないモンスターは辛抱強くておまけに赤黒い
fact1 -> int1: 全てのモンスターは辛抱強い; int1 -> hypothesis;
fact1 -> int1: (x): {A}x; int1 -> hypothesis;
そのぽいぽちょLv.23は辛抱強い
fact3 -> int2: もしそのぽいぽちょLv.23が疚しくないとすれば辛抱強いしかつ赤黒い;
$facts$ = fact1: 全てのモンスターは辛抱強い fact2: 疚しくないモンスターは辛抱強くておまけに赤黒い ; $hypothesis$ = このぴいぴちゅLv.82は辛抱強い ; $proof$ = 
fact1 -> int1: 全てのモンスターは辛抱強い; int1 -> hypothesis; __PROVED__
fact1 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__