「このみちょみちょLv.62は温いししかも最もらしい」ということは嘘である
fact1: もしもとあるモンスターは厳つかないとすれば「それは温いし最もらしい」ということは成り立たない fact2: もし何らかのモンスターは開花しないとすれば「仄暗いししかも配分出来る」ということは誤りである fact3: 仮にそのぷちょぷにゅLv.92がめでたしないとしたらこのみちょみちょLv.62は温いし加えて素人っぽい fact4: このみちょみちょLv.62は厳つかない
fact1 -> int1: もしこのみちょみちょLv.62は厳ついということはないとすると「このみちょみちょLv.62は温いし最もらしい」ということは成り立つということはない; int1 & fact4 -> hypothesis;
fact1 -> int1: ¬{A}{aa} -> ¬({AA}{aa} & {AB}{aa}); int1 & fact4 -> hypothesis;
このみちょみちょLv.62は温くてまた最もらしい
$facts$ = fact1: もしもとあるモンスターは厳つかないとすれば「それは温いし最もらしい」ということは成り立たない fact2: もし何らかのモンスターは開花しないとすれば「仄暗いししかも配分出来る」ということは誤りである fact3: 仮にそのぷちょぷにゅLv.92がめでたしないとしたらこのみちょみちょLv.62は温いし加えて素人っぽい fact4: このみちょみちょLv.62は厳つかない ; $hypothesis$ = 「このみちょみちょLv.62は温いししかも最もらしい」ということは嘘である ; $proof$ = 
fact1 -> int1: もしこのみちょみちょLv.62は厳ついということはないとすると「このみちょみちょLv.62は温いし最もらしい」ということは成り立つということはない; int1 & fact4 -> hypothesis; __PROVED__
fact1 -> int1: ¬{A}{aa} -> ¬({AA}{aa} & {AB}{aa}); int1 & fact4 -> hypothesis; __PROVED__