「もし真っ黒くないとすると冷め難くなくてその上仄暗いということはない」モンスターはいる
fact1: もしこのぷちゃぷのLv.73が真っ黒くないならこのぷちゃぷのLv.73は冷め難いということはない fact2: もしもこのぷちゃぷのLv.73が真っ黒くないとすればこのぷちゃぷのLv.73は冷め難くなくて仄暗いということはない
fact2 -> hypothesis;
fact2 -> hypothesis;
$facts$ = fact1: もしこのぷちゃぷのLv.73が真っ黒くないならこのぷちゃぷのLv.73は冷め難いということはない fact2: もしもこのぷちゃぷのLv.73が真っ黒くないとすればこのぷちゃぷのLv.73は冷め難くなくて仄暗いということはない ; $hypothesis$ = 「もし真っ黒くないとすると冷め難くなくてその上仄暗いということはない」モンスターはいる ; $proof$ = 
fact2 -> hypothesis; __PROVED__
fact2 -> hypothesis; __PROVED__