このぴのぴいLv.41はちっこい
fact1: もしもあのみちゃみゆLv.43が怪しいがちっこくないならばこのまちゅまにゅLv.71は通じ易くない fact2: 通じ易くないモンスターは中毒するけれどそうしない fact3: もしもあるモンスターが寄る辺無い一方で貧しということはないならあのみちゃみゆLv.43はちっこくない fact4: このまちゅまにゅLv.71は通じ易い fact5: 貧しモンスターは寄る辺無くないとすれば「あのみちゃみゆLv.43は通じ易くない」ということは確かである fact6: もしこのまちゅまにゅLv.71は通じ易いならば「あのみちゃみゆLv.43は寄る辺無い一方でそれは貧しない」ということは正しい fact7: もし仮にあるモンスターが寄る辺無いがしかし貧しないならこのぴのぴいLv.41はちっこくない
fact6 & fact4 -> int1: あのみちゃみゆLv.43は寄る辺無いが貧しない; int1 -> int2: とあるモンスターは寄る辺無いけれどそれは貧しない; int2 & fact7 -> hypothesis;
fact6 & fact4 -> int1: ({AA}{b} & ¬{AB}{b}); int1 -> int2: (Ex): ({AA}x & ¬{AB}x); int2 & fact7 -> hypothesis;
「中毒するしかつそうするということはない」モンスターはいる
fact8 -> int3: 仮にこのまちゅまにゅLv.71が通じ易くないならばこのまちゅまにゅLv.71は中毒するがそれはそうするということはない;
$facts$ = fact1: もしもあのみちゃみゆLv.43が怪しいがちっこくないならばこのまちゅまにゅLv.71は通じ易くない fact2: 通じ易くないモンスターは中毒するけれどそうしない fact3: もしもあるモンスターが寄る辺無い一方で貧しということはないならあのみちゃみゆLv.43はちっこくない fact4: このまちゅまにゅLv.71は通じ易い fact5: 貧しモンスターは寄る辺無くないとすれば「あのみちゃみゆLv.43は通じ易くない」ということは確かである fact6: もしこのまちゅまにゅLv.71は通じ易いならば「あのみちゃみゆLv.43は寄る辺無い一方でそれは貧しない」ということは正しい fact7: もし仮にあるモンスターが寄る辺無いがしかし貧しないならこのぴのぴいLv.41はちっこくない ; $hypothesis$ = このぴのぴいLv.41はちっこい ; $proof$ = 
fact6 & fact4 -> int1: あのみちゃみゆLv.43は寄る辺無いが貧しない; int1 -> int2: とあるモンスターは寄る辺無いけれどそれは貧しない; int2 & fact7 -> hypothesis; __DISPROVED__
fact6 & fact4 -> int1: ({AA}{b} & ¬{AB}{b}); int1 -> int2: (Ex): ({AA}x & ¬{AB}x); int2 & fact7 -> hypothesis; __DISPROVED__