「確からしいとしたら「曇り無しないし喧しくない」ということは成り立たない」モンスターはいる
fact1: なにがしかのモンスターは確からしいとすると「それは曇り無しないしおまけにそれは喧しくない」ということは事実と異なる
fact1 -> int1: もしこのぷにょぷいLv.3は確からしいなら「それは曇り無しないし喧しくない」ということは成り立つということはない; int1 -> hypothesis;
fact1 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: なにがしかのモンスターは確からしいとすると「それは曇り無しないしおまけにそれは喧しくない」ということは事実と異なる ; $hypothesis$ = 「確からしいとしたら「曇り無しないし喧しくない」ということは成り立たない」モンスターはいる ; $proof$ = 
fact1 -> int1: もしこのぷにょぷいLv.3は確からしいなら「それは曇り無しないし喧しくない」ということは成り立つということはない; int1 -> hypothesis; __PROVED__
fact1 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis; __PROVED__