「このぷなぷちゃLv.84は擽ったい」ということは成り立つ
fact1: このまいまえLv.67は擽ったい fact2: もしもこのぷなぷちゃLv.84がスクープするとするとこのぷなぷちゃLv.84は擽ったい fact3: このぷなぷちゃLv.84はしょっぱくて加えて黒し fact4: このまやまなLv.77は擽ったくてかつそれは探す fact5: このぷなぷちゃLv.84はスクープするしまた物凄ーい
fact5 -> int1: このぷなぷちゃLv.84はスクープする; int1 & fact2 -> hypothesis;
fact5 -> int1: {A}{a}; int1 & fact2 -> hypothesis;
$facts$ = fact1: このまいまえLv.67は擽ったい fact2: もしもこのぷなぷちゃLv.84がスクープするとするとこのぷなぷちゃLv.84は擽ったい fact3: このぷなぷちゃLv.84はしょっぱくて加えて黒し fact4: このまやまなLv.77は擽ったくてかつそれは探す fact5: このぷなぷちゃLv.84はスクープするしまた物凄ーい ; $hypothesis$ = 「このぷなぷちゃLv.84は擽ったい」ということは成り立つ ; $proof$ = 
fact5 -> int1: このぷなぷちゃLv.84はスクープする; int1 & fact2 -> hypothesis; __PROVED__
fact5 -> int1: {A}{a}; int1 & fact2 -> hypothesis; __PROVED__