「益無しとしたら味方する」モンスターはいる
fact1: このまなまやLv.10が感じ易いとするとそれは狙い易い fact2: もしもこのぴねぴちゅLv.15が有り難いとすれば頼み難い fact3: 「益無しなら免許する」モンスターはいる fact4: 明るいモンスターはきったない fact5: このぴねぴちゅLv.15は遠し fact6: もしこのぴねぴちゅLv.15が益無しとするとこのぴねぴちゅLv.15は免許する
void -> assump1: 以下のように仮定する。このぴねぴちゅLv.15は益無し; fact6 & assump1 -> int1: このぴねぴちゅLv.15は免許する;
void -> assump1: {A}{a}; fact6 & assump1 -> int1: {B}{a};
そのぷなぷちゅLv.13は明るいとしたら「きったない」ということは事実である
fact7 -> hypothesis;
$facts$ = fact1: このまなまやLv.10が感じ易いとするとそれは狙い易い fact2: もしもこのぴねぴちゅLv.15が有り難いとすれば頼み難い fact3: 「益無しなら免許する」モンスターはいる fact4: 明るいモンスターはきったない fact5: このぴねぴちゅLv.15は遠し fact6: もしこのぴねぴちゅLv.15が益無しとするとこのぴねぴちゅLv.15は免許する ; $hypothesis$ = 「益無しとしたら味方する」モンスターはいる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__