このぴよぴえLv.48は凄まじいけど悪しくない
fact1: もし仮にこのぴわぴちゃLv.49が待ち遠しいならばこのみちょみわLv.70は鈍るけど悪しくない fact2: このぴわぴちゃLv.49が毒々しいとするとこのみにゃみのLv.25はネイティブらしい fact3: ネイティブらしくないモンスターは毒々しいしその上待ち遠しい fact4: もしもこのみにゃみのLv.25がネイティブらしいならばそれは悪しい fact5: このぴわぴちゃLv.49は待ち遠しいかあるいは毒々しい fact6: もしこのみにゃみのLv.25が悪しいとすればこのぴよぴえLv.48は凄まじいけど悪しくない fact7: 仮に「このぴよぴえLv.48はネイティブらしいということはないかあるいは凄まじくないかまたはどちらもだ」ということは事実と異なればこのぴわぴちゃLv.49はネイティブらしくない fact8: このぴわぴちゃLv.49は待ち遠しいとしたら「このみにゃみのLv.25はネイティブらしくない」ということは成り立たない
fact5 & fact8 & fact2 -> int1: このみにゃみのLv.25はネイティブらしい; int1 & fact4 -> int2: このみにゃみのLv.25は悪しい; int2 & fact6 -> hypothesis;
fact5 & fact8 & fact2 -> int1: {C}{c}; int1 & fact4 -> int2: {D}{c}; int2 & fact6 -> hypothesis;
このみちょみわLv.70は鈍るけど悪しくない
fact10 -> int3: このぴわぴちゃLv.49がネイティブらしくないならこのぴわぴちゃLv.49は毒々しいしそれにそれは待ち遠しい;
$facts$ = fact1: もし仮にこのぴわぴちゃLv.49が待ち遠しいならばこのみちょみわLv.70は鈍るけど悪しくない fact2: このぴわぴちゃLv.49が毒々しいとするとこのみにゃみのLv.25はネイティブらしい fact3: ネイティブらしくないモンスターは毒々しいしその上待ち遠しい fact4: もしもこのみにゃみのLv.25がネイティブらしいならばそれは悪しい fact5: このぴわぴちゃLv.49は待ち遠しいかあるいは毒々しい fact6: もしこのみにゃみのLv.25が悪しいとすればこのぴよぴえLv.48は凄まじいけど悪しくない fact7: 仮に「このぴよぴえLv.48はネイティブらしいということはないかあるいは凄まじくないかまたはどちらもだ」ということは事実と異なればこのぴわぴちゃLv.49はネイティブらしくない fact8: このぴわぴちゃLv.49は待ち遠しいとしたら「このみにゃみのLv.25はネイティブらしくない」ということは成り立たない ; $hypothesis$ = このぴよぴえLv.48は凄まじいけど悪しくない ; $proof$ = 
fact5 & fact8 & fact2 -> int1: このみにゃみのLv.25はネイティブらしい; int1 & fact4 -> int2: このみにゃみのLv.25は悪しい; int2 & fact6 -> hypothesis; __PROVED__
fact5 & fact8 & fact2 -> int1: {C}{c}; int1 & fact4 -> int2: {D}{c}; int2 & fact6 -> hypothesis; __PROVED__