あのみなみなLv.20は探し易いしそれは少なし
fact1: 「「御座りするしかつ最もらしい」ということは成り立たない」モンスターはいる fact2: もし仮に「「御座りするけど最もらしくない」ということは嘘な」モンスターがいるとするとあのみなみなLv.20は少なし fact3: もし何らかのモンスターは興味深いということはないとしたら「探し易いしその上少なし」ということは成り立たない fact4: もし仮にあのみのみにゃLv.61が痩せ難いならば神々しくないかもしくはそれはされ易いかまたは両方ともだ fact5: あのみのみにゃLv.61が神々しくないかもしくはされ易いかあるいはどちらもであるとすればあのぷわぷにLv.41は思わしくない fact6: 「あのぽくぽやLv.81は御座りするがそれは最もらしくない」ということは嘘である fact7: あのみなみなLv.20は探し易い fact8: もしも何らかのモンスターが離反すれば興味深くない
fact6 -> int1: 「「御座りするし更に最もらしくない」ということは嘘である」モンスターはいる; int1 & fact2 -> int2: あのみなみなLv.20は少なし; int2 & fact7 -> hypothesis;
fact6 -> int1: (Ex): ¬({AA}x & ¬{AB}x); int1 & fact2 -> int2: {A}{a}; int2 & fact7 -> hypothesis;
「あのみなみなLv.20は探し易くて少なし」ということは真実でない
fact11 -> int3: 仮にあのみなみなLv.20は興味深くないならば「それは探し易いし少なし」ということは成り立たない; fact12 -> int4: もし仮にあのみなみなLv.20が離反すればそれは興味深くない;
$facts$ = fact1: 「「御座りするしかつ最もらしい」ということは成り立たない」モンスターはいる fact2: もし仮に「「御座りするけど最もらしくない」ということは嘘な」モンスターがいるとするとあのみなみなLv.20は少なし fact3: もし何らかのモンスターは興味深いということはないとしたら「探し易いしその上少なし」ということは成り立たない fact4: もし仮にあのみのみにゃLv.61が痩せ難いならば神々しくないかもしくはそれはされ易いかまたは両方ともだ fact5: あのみのみにゃLv.61が神々しくないかもしくはされ易いかあるいはどちらもであるとすればあのぷわぷにLv.41は思わしくない fact6: 「あのぽくぽやLv.81は御座りするがそれは最もらしくない」ということは嘘である fact7: あのみなみなLv.20は探し易い fact8: もしも何らかのモンスターが離反すれば興味深くない ; $hypothesis$ = あのみなみなLv.20は探し易いしそれは少なし ; $proof$ = 
fact6 -> int1: 「「御座りするし更に最もらしくない」ということは嘘である」モンスターはいる; int1 & fact2 -> int2: あのみなみなLv.20は少なし; int2 & fact7 -> hypothesis; __PROVED__
fact6 -> int1: (Ex): ¬({AA}x & ¬{AB}x); int1 & fact2 -> int2: {A}{a}; int2 & fact7 -> hypothesis; __PROVED__