以下のように仮定する。あのぽわぽちょLv.61は心苦しくない
fact1: もしも「あのぽわぽちょLv.61は心苦しくない」ということは本当であるならあのぽわぽちょLv.61は美しくない fact2: もし仮に「なにがしかのモンスターは暗しないしまた考え難くない」ということは誤りであるならば考え難い fact3: もし仮に「あのまちゃまゆLv.30は参加し易くてかつ憧憬する」ということは誤っているとしたらあのまちゃまゆLv.30は参加し易くない fact4: 「そのまねまいLv.76は美しくない」ということは真実だ fact5: あのまちゃまゆLv.30は参加し易くないとすれば「それは暗しないし考え難くない」ということは確かだということはない fact6: 「もしも「何らかのモンスターはずり落ちないがしかしそれは美しい」ということは誤っているとしたら心苦しくない」ということは正しい
void -> assump1: 以下のように仮定する。あのぽわぽちょLv.61は心苦しくない; fact1 & assump1 -> int1: あのぽわぽちょLv.61は美しくない;
void -> assump1: ¬{A}{a}; fact1 & assump1 -> int1: ¬{B}{a};
以下のように仮定する。あのぽわぽちょLv.61は心苦しくない
fact8 -> int2: 「あのぽわぽちょLv.61はずり落ちないけれど美しい」ということは偽だとするとそれは心苦しくない; fact9 -> int3: もし仮に「あのまちゃまゆLv.30は暗しないしその上考え難くない」ということは間違っているとすればあのまちゃまゆLv.30は考え難い;
$facts$ = fact1: もしも「あのぽわぽちょLv.61は心苦しくない」ということは本当であるならあのぽわぽちょLv.61は美しくない fact2: もし仮に「なにがしかのモンスターは暗しないしまた考え難くない」ということは誤りであるならば考え難い fact3: もし仮に「あのまちゃまゆLv.30は参加し易くてかつ憧憬する」ということは誤っているとしたらあのまちゃまゆLv.30は参加し易くない fact4: 「そのまねまいLv.76は美しくない」ということは真実だ fact5: あのまちゃまゆLv.30は参加し易くないとすれば「それは暗しないし考え難くない」ということは確かだということはない fact6: 「もしも「何らかのモンスターはずり落ちないがしかしそれは美しい」ということは誤っているとしたら心苦しくない」ということは正しい ; $hypothesis$ = 以下のように仮定する。あのぽわぽちょLv.61は心苦しくない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__