「もし「創刊しないけど出来難い」ということは誤りだとすれば「滑り難いということはない」ということは事実である」モンスターはいる
fact1: もしも「とあるモンスターは納得し難くないけど創刊する」ということは嘘であるなら芝居染みない fact2: 「もしも近しくないならば甘いということはない」モンスターはいる fact3: 「「創刊しないけど出来難い」ということは成り立たないとすると滑り難い」モンスターはいる fact4: もしも「あのみにょみくLv.38は物憂くないけれど幼けない」ということは成り立たないなら「それは寒い」ということは事実である fact5: 仮に「「あのみにょみくLv.38は創刊しないが出来難い」ということは真実でない」ということは確かであるならばそれは滑り難くない fact6: あのみにょみくLv.38が創刊するとするとあのみにょみくLv.38は滑り難いということはない
fact5 -> hypothesis;
fact5 -> hypothesis;
「このぷにゃぷにゃLv.83は納得し難くない一方でそれは創刊する」ということは成り立たないとすればそれは芝居染みない
fact7 -> hypothesis;
$facts$ = fact1: もしも「とあるモンスターは納得し難くないけど創刊する」ということは嘘であるなら芝居染みない fact2: 「もしも近しくないならば甘いということはない」モンスターはいる fact3: 「「創刊しないけど出来難い」ということは成り立たないとすると滑り難い」モンスターはいる fact4: もしも「あのみにょみくLv.38は物憂くないけれど幼けない」ということは成り立たないなら「それは寒い」ということは事実である fact5: 仮に「「あのみにょみくLv.38は創刊しないが出来難い」ということは真実でない」ということは確かであるならばそれは滑り難くない fact6: あのみにょみくLv.38が創刊するとするとあのみにょみくLv.38は滑り難いということはない ; $hypothesis$ = 「もし「創刊しないけど出来難い」ということは誤りだとすれば「滑り難いということはない」ということは事実である」モンスターはいる ; $proof$ = 
fact5 -> hypothesis; __PROVED__
fact5 -> hypothesis; __PROVED__