以下のように仮定する。このもやもなLv.38は感謝す
fact1: もしあのみにみちょLv.32がオーダーするということはなくて更に及び難くないとしたらこのぴちゅぴわLv.68はオーダーする fact2: もしこのぴちゅぴわLv.68が感謝すとしたらこのもやもなLv.38は感謝す fact3: このもやもなLv.38はオーダーする fact4: もし仮に何らかのモンスターが住み良いならホワイトハウス入りする fact5: このぴちゅぴわLv.68はホワイトハウス入りする fact6: あのみにみちょLv.32がホワイトハウス入りするとすればあのみにみちょLv.32はオーダーしないしその上及び難くない
void -> assump1: 以下のように仮定する。このもやもなLv.38は感謝す; fact3 & assump1 -> int1: このもやもなLv.38はオーダーするしおまけにそれは感謝す;
void -> assump1: {B}{a}; fact3 & assump1 -> int1: ({A}{a} & {B}{a});
以下のように仮定する。このもやもなLv.38は感謝す
fact10 -> int2: もしあのみにみちょLv.32が住み良いならホワイトハウス入りする;
$facts$ = fact1: もしあのみにみちょLv.32がオーダーするということはなくて更に及び難くないとしたらこのぴちゅぴわLv.68はオーダーする fact2: もしこのぴちゅぴわLv.68が感謝すとしたらこのもやもなLv.38は感謝す fact3: このもやもなLv.38はオーダーする fact4: もし仮に何らかのモンスターが住み良いならホワイトハウス入りする fact5: このぴちゅぴわLv.68はホワイトハウス入りする fact6: あのみにみちょLv.32がホワイトハウス入りするとすればあのみにみちょLv.32はオーダーしないしその上及び難くない ; $hypothesis$ = 以下のように仮定する。このもやもなLv.38は感謝す ; $proof$ = 
__UNKNOWN__
__UNKNOWN__