以下のように仮定する。あのぴちゃぴにょLv.67は熱し易い
fact1: あのぴちゃぴにょLv.67はし辛い fact2: 「あのぴちゃぴにょLv.67は納刀する」ということは成り立つ fact3: このぷねぷなLv.88はし辛くない fact4: もしあのぴちゃぴにょLv.67が作文しないとすればこのもにゃもやLv.4はし辛いということはないがしかし熱し易い fact5: もしもあのぴちゃぴにょLv.67がし辛いモンスターであってそれに熱し易いならこのぷねぷなLv.88は作文しない fact6: このみにみにゅLv.36は熱し易くない
void -> assump1: 以下のように仮定する。あのぴちゃぴにょLv.67は熱し易い; fact1 & assump1 -> int1: あのぴちゃぴにょLv.67はし辛くて加えて熱し易い; int1 & fact5 -> int2: このぷねぷなLv.88は作文しない;
void -> assump1: {B}{a}; fact1 & assump1 -> int1: ({A}{a} & {B}{a}); int1 & fact5 -> int2: ¬{C}{b};
「このもにゃもやLv.4はし辛いということはない」ということは真実である
$facts$ = fact1: あのぴちゃぴにょLv.67はし辛い fact2: 「あのぴちゃぴにょLv.67は納刀する」ということは成り立つ fact3: このぷねぷなLv.88はし辛くない fact4: もしあのぴちゃぴにょLv.67が作文しないとすればこのもにゃもやLv.4はし辛いということはないがしかし熱し易い fact5: もしもあのぴちゃぴにょLv.67がし辛いモンスターであってそれに熱し易いならこのぷねぷなLv.88は作文しない fact6: このみにみにゅLv.36は熱し易くない ; $hypothesis$ = 以下のように仮定する。あのぴちゃぴにょLv.67は熱し易い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__