そのまえまなLv.16は後ろめたい
fact1: もしこのぴいぴよLv.72が憂いとすればそのまえまなLv.16は後ろめたい fact2: このぴいぴよLv.72は後ろめたくないならば「それは憂いかもしくは来辛いかもしくは両方ともだ」ということは間違っている fact3: このぴいぴよLv.72は憂い
fact3 -> int1: このぴいぴよLv.72は憂い; int1 & fact1 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact1 -> hypothesis;
「このぽにゃぽえLv.93は憂い」ということは事実だ
$facts$ = fact1: もしこのぴいぴよLv.72が憂いとすればそのまえまなLv.16は後ろめたい fact2: このぴいぴよLv.72は後ろめたくないならば「それは憂いかもしくは来辛いかもしくは両方ともだ」ということは間違っている fact3: このぴいぴよLv.72は憂い ; $hypothesis$ = そのまえまなLv.16は後ろめたい ; $proof$ = 
fact3 -> int1: このぴいぴよLv.72は憂い; int1 & fact1 -> hypothesis; __PROVED__
fact3 -> int1: {A}{a}; int1 & fact1 -> hypothesis; __PROVED__