あのまのまにゅLv.24は御伝えする
fact1: 仮にこのもいもいLv.38が面倒臭いとしたらあのまのまにゅLv.24は感謝す fact2: 仮にそのまなまやLv.64が途絶するならこのもいもいLv.38は面倒臭いがしかし感謝すらない fact3: 「あのまのまにゅLv.24は俗っぽい」ということは誤りでない fact4: 「そのぴわぴえLv.65は感謝す」ということは確かである fact5: もしもこのもいもいLv.38が面倒臭いけれどそれが感謝すらないとしたらあのまのまにゅLv.24は御伝えしない fact6: もし仮にあのまのまにゅLv.24が感謝すればあのまのまにゅLv.24は御伝えする fact7: そのまにょまにゃLv.15は感謝す fact8: このもいもいLv.38は面倒臭い
fact1 & fact8 -> int1: あのまのまにゅLv.24は感謝す; int1 & fact6 -> hypothesis;
fact1 & fact8 -> int1: {B}{b}; int1 & fact6 -> hypothesis;
あのまのまにゅLv.24は御伝えしない
$facts$ = fact1: 仮にこのもいもいLv.38が面倒臭いとしたらあのまのまにゅLv.24は感謝す fact2: 仮にそのまなまやLv.64が途絶するならこのもいもいLv.38は面倒臭いがしかし感謝すらない fact3: 「あのまのまにゅLv.24は俗っぽい」ということは誤りでない fact4: 「そのぴわぴえLv.65は感謝す」ということは確かである fact5: もしもこのもいもいLv.38が面倒臭いけれどそれが感謝すらないとしたらあのまのまにゅLv.24は御伝えしない fact6: もし仮にあのまのまにゅLv.24が感謝すればあのまのまにゅLv.24は御伝えする fact7: そのまにょまにゃLv.15は感謝す fact8: このもいもいLv.38は面倒臭い ; $hypothesis$ = あのまのまにゅLv.24は御伝えする ; $proof$ = 
fact1 & fact8 -> int1: あのまのまにゅLv.24は感謝す; int1 & fact6 -> hypothesis; __PROVED__
fact1 & fact8 -> int1: {B}{b}; int1 & fact6 -> hypothesis; __PROVED__