「あのぷゆぷにゅLv.41は滑り易いし生易しい」ということは成り立たない
fact1: もし仮にあのぷゆぷにゅLv.41が行き易いとするとあのぷゆぷにゅLv.41はめんど臭い fact2: もし仮にあのぷゆぷにゅLv.41がめんど臭いとするとそれは生易しい fact3: あのみわみやLv.93は滑り易い fact4: あのぷゆぷにゅLv.41が燃え出すとするとあのぷゆぷにゅLv.41は顕在化し易い fact5: あのぷゆぷにゅLv.41はエロい fact6: あのぷゆぷにゅLv.41は混同し易いし惨たらしい fact7: あのぷゆぷにゅLv.41は顕在化し易くてそれにめんど臭い fact8: あのぷゆぷにゅLv.41は滑り易い
fact7 -> int1: あのぷゆぷにゅLv.41はめんど臭い; int1 & fact2 -> int2: あのぷゆぷにゅLv.41は生易しい; int2 & fact8 -> hypothesis;
fact7 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact8 -> hypothesis;
$facts$ = fact1: もし仮にあのぷゆぷにゅLv.41が行き易いとするとあのぷゆぷにゅLv.41はめんど臭い fact2: もし仮にあのぷゆぷにゅLv.41がめんど臭いとするとそれは生易しい fact3: あのみわみやLv.93は滑り易い fact4: あのぷゆぷにゅLv.41が燃え出すとするとあのぷゆぷにゅLv.41は顕在化し易い fact5: あのぷゆぷにゅLv.41はエロい fact6: あのぷゆぷにゅLv.41は混同し易いし惨たらしい fact7: あのぷゆぷにゅLv.41は顕在化し易くてそれにめんど臭い fact8: あのぷゆぷにゅLv.41は滑り易い ; $hypothesis$ = 「あのぷゆぷにゅLv.41は滑り易いし生易しい」ということは成り立たない ; $proof$ = 
fact7 -> int1: あのぷゆぷにゅLv.41はめんど臭い; int1 & fact2 -> int2: あのぷゆぷにゅLv.41は生易しい; int2 & fact8 -> hypothesis; __DISPROVED__
fact7 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact8 -> hypothesis; __DISPROVED__