そのぽやぽやLv.10は御寒いということはない
fact1: もしそのぽやぽやLv.10は御寒いなら「汗臭い」ということは確かである
void -> assump1: 以下のように仮定する。そのぽやぽやLv.10は御寒い; fact1 & assump1 -> int1: そのぽやぽやLv.10は汗臭い;
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{a};
$facts$ = fact1: もしそのぽやぽやLv.10は御寒いなら「汗臭い」ということは確かである ; $hypothesis$ = そのぽやぽやLv.10は御寒いということはない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__