あのまにょまわLv.49は寝起きする
fact1: もし「何らかのモンスターは失踪しないかすっごくない」ということは間違いならそれは寝起きしない fact2: そのもちゅもにLv.91は失踪する fact3: そのもちゅもにLv.91はすっごくてさらに失踪する fact4: もし仮にそのもちゅもにLv.91がすっごいならあのまにょまわLv.49は寝起きする fact5: あのまにょまわLv.49はすっごい
fact3 -> int1: そのもちゅもにLv.91はすっごい; int1 & fact4 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact4 -> hypothesis;
「あのまにょまわLv.49は寝起きしない」ということは本当だ
fact6 -> int2: もし仮に「あのまにょまわLv.49は失踪しないかあるいはすっごくない」ということは嘘ならそれは寝起きしない;
$facts$ = fact1: もし「何らかのモンスターは失踪しないかすっごくない」ということは間違いならそれは寝起きしない fact2: そのもちゅもにLv.91は失踪する fact3: そのもちゅもにLv.91はすっごくてさらに失踪する fact4: もし仮にそのもちゅもにLv.91がすっごいならあのまにょまわLv.49は寝起きする fact5: あのまにょまわLv.49はすっごい ; $hypothesis$ = あのまにょまわLv.49は寝起きする ; $proof$ = 
fact3 -> int1: そのもちゅもにLv.91はすっごい; int1 & fact4 -> hypothesis; __PROVED__
fact3 -> int1: {A}{a}; int1 & fact4 -> hypothesis; __PROVED__