以下のように仮定する。あのぽわぽちゅLv.89は観光客らしい
fact1: あのぽわぽちゅLv.89は小高い fact2: あのぽわぽちゅLv.89は木らしい fact3: あのぽわぽちゅLv.89は新し fact4: あのまねまにゅLv.79は狡い fact5: もし仮にあのぽわぽちゅLv.89が小高いしそれに観光客らしいとしたらあのぽわぽちゅLv.89は狡いということはない fact6: あのぽわぽちゅLv.89は補うし加えてそれは憂える fact7: あのぴいぴやLv.85は狡くてかつ見付け易いとすると「あのぴいぴやLv.85は解列しない」ということは真実だ
void -> assump1: 以下のように仮定する。あのぽわぽちゅLv.89は観光客らしい; fact1 & assump1 -> int1: あのぽわぽちゅLv.89は小高いし観光客らしい; int1 & fact5 -> int2: あのぽわぽちゅLv.89は狡くない;
void -> assump1: {B}{a}; fact1 & assump1 -> int1: ({A}{a} & {B}{a}); int1 & fact5 -> int2: ¬{C}{a};
$facts$ = fact1: あのぽわぽちゅLv.89は小高い fact2: あのぽわぽちゅLv.89は木らしい fact3: あのぽわぽちゅLv.89は新し fact4: あのまねまにゅLv.79は狡い fact5: もし仮にあのぽわぽちゅLv.89が小高いしそれに観光客らしいとしたらあのぽわぽちゅLv.89は狡いということはない fact6: あのぽわぽちゅLv.89は補うし加えてそれは憂える fact7: あのぴいぴやLv.85は狡くてかつ見付け易いとすると「あのぴいぴやLv.85は解列しない」ということは真実だ ; $hypothesis$ = 以下のように仮定する。あのぽわぽちゅLv.89は観光客らしい ; $proof$ = 
__UNKNOWN__
__UNKNOWN__