以下のように仮定する。そのぴえぴいLv.60は素っ気ない
fact1: 仮にそのぴえぴいLv.60が素っ気ないとしたらこのぴにぴゆLv.91はうざい
void -> assump1: 以下のように仮定する。そのぴえぴいLv.60は素っ気ない; fact1 & assump1 -> int1: このぴにぴゆLv.91はうざい;
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{b};
$facts$ = fact1: 仮にそのぴえぴいLv.60が素っ気ないとしたらこのぴにぴゆLv.91はうざい ; $hypothesis$ = 以下のように仮定する。そのぴえぴいLv.60は素っ気ない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__