このもねもえLv.80は滞り易くない
fact1: このぷよぷにゅLv.33は生臭い fact2: もし仮にこのぷよぷにゅLv.33が潤み切るとすればこのもねもえLv.80は滞り易い fact3: このもねもえLv.80が羨ましいということはないしさらに提携しないとすればこのぷよぷにゅLv.33は羨ましいということはない fact4: もし仮にこのまにゅまゆLv.93が入手し易いということはないとすればこのもねもえLv.80は滞り易くなくてまた羨ましくない fact5: もし仮に「このぷよぷにゅLv.33は生臭い」ということは本当だとするとこのぷよぷにゅLv.33は羨ましい fact6: 「あのもくもねLv.45は駆けるけど遣り易くない」ということは偽であるとするとこのまにゅまゆLv.93は入手し易いということはない fact7: このぷよぷにゅLv.33が羨ましいとすればそれは潤み切る fact8: もし仮に「このまねまのLv.18は提携しなくておまけに怪しくない」ということは誤りだとすればこのもねもえLv.80は提携しない
fact5 & fact1 -> int1: このぷよぷにゅLv.33は羨ましい; int1 & fact7 -> int2: このぷよぷにゅLv.33は潤み切る; int2 & fact2 -> hypothesis;
fact5 & fact1 -> int1: {B}{a}; int1 & fact7 -> int2: {C}{a}; int2 & fact2 -> hypothesis;
あのまゆまいLv.83は生臭い
$facts$ = fact1: このぷよぷにゅLv.33は生臭い fact2: もし仮にこのぷよぷにゅLv.33が潤み切るとすればこのもねもえLv.80は滞り易い fact3: このもねもえLv.80が羨ましいということはないしさらに提携しないとすればこのぷよぷにゅLv.33は羨ましいということはない fact4: もし仮にこのまにゅまゆLv.93が入手し易いということはないとすればこのもねもえLv.80は滞り易くなくてまた羨ましくない fact5: もし仮に「このぷよぷにゅLv.33は生臭い」ということは本当だとするとこのぷよぷにゅLv.33は羨ましい fact6: 「あのもくもねLv.45は駆けるけど遣り易くない」ということは偽であるとするとこのまにゅまゆLv.93は入手し易いということはない fact7: このぷよぷにゅLv.33が羨ましいとすればそれは潤み切る fact8: もし仮に「このまねまのLv.18は提携しなくておまけに怪しくない」ということは誤りだとすればこのもねもえLv.80は提携しない ; $hypothesis$ = このもねもえLv.80は滞り易くない ; $proof$ = 
fact5 & fact1 -> int1: このぷよぷにゅLv.33は羨ましい; int1 & fact7 -> int2: このぷよぷにゅLv.33は潤み切る; int2 & fact2 -> hypothesis; __DISPROVED__
fact5 & fact1 -> int1: {B}{a}; int1 & fact7 -> int2: {C}{a}; int2 & fact2 -> hypothesis; __DISPROVED__