そのぷよぷくLv.23は考え辛くなくておまけに聞き取り易くない
fact1: このぴよぴにゃLv.80が感慨深いとするとそのぷよぷくLv.23は付き易い fact2: このぴよぴにゃLv.80は感慨深い fact3: もし仮にそのぷよぷくLv.23は付き易いとすると「「それは考え辛くないしかつ聞き取り易くない」ということは確かである」ということは誤りだ
fact1 & fact2 -> int1: そのぷよぷくLv.23は付き易い; int1 & fact3 -> hypothesis;
fact1 & fact2 -> int1: {B}{b}; int1 & fact3 -> hypothesis;
$facts$ = fact1: このぴよぴにゃLv.80が感慨深いとするとそのぷよぷくLv.23は付き易い fact2: このぴよぴにゃLv.80は感慨深い fact3: もし仮にそのぷよぷくLv.23は付き易いとすると「「それは考え辛くないしかつ聞き取り易くない」ということは確かである」ということは誤りだ ; $hypothesis$ = そのぷよぷくLv.23は考え辛くなくておまけに聞き取り易くない ; $proof$ = 
fact1 & fact2 -> int1: そのぷよぷくLv.23は付き易い; int1 & fact3 -> hypothesis; __DISPROVED__
fact1 & fact2 -> int1: {B}{b}; int1 & fact3 -> hypothesis; __DISPROVED__