「「言い付かるししかも冗談っぽい」ということは間違っているとすると麗しくない」モンスターはいる
fact1: もし仮に「なにがしかのモンスターは言い付かるし冗談っぽい」ということは事実と異なればそれは麗しくない fact2: 「もしも「冗談っぽくない」ということは真実であるならば麗しくない」モンスターはいる
fact1 -> int1: もしも「このまにゅまわLv.26は言い付かるしかつ冗談っぽい」ということは誤りならこのまにゅまわLv.26は麗しいということはない; int1 -> hypothesis;
fact1 -> int1: ¬({AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis;
$facts$ = fact1: もし仮に「なにがしかのモンスターは言い付かるし冗談っぽい」ということは事実と異なればそれは麗しくない fact2: 「もしも「冗談っぽくない」ということは真実であるならば麗しくない」モンスターはいる ; $hypothesis$ = 「「言い付かるししかも冗談っぽい」ということは間違っているとすると麗しくない」モンスターはいる ; $proof$ = 
fact1 -> int1: もしも「このまにゅまわLv.26は言い付かるしかつ冗談っぽい」ということは誤りならこのまにゅまわLv.26は麗しいということはない; int1 -> hypothesis; __PROVED__
fact1 -> int1: ¬({AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis; __PROVED__