そのぴにょぴにょLv.32は焼き難くなくてそれは馴らさない
fact1: あのぽよぽえLv.88は頼り無くておまけに胡散臭い fact2: もしあのぽよぽえLv.88が幼けなくて頼り無いならあのぽいぽにゅLv.48は馴らさない fact3: もし仮に「「幼けなくて頼り無くない」ということは間違いな」モンスターがいるとするとそのぴにょぴにょLv.32は焼き難いということはない fact4: あのぽよぽえLv.88は幼けない fact5: あのぽいぽにゅLv.48は馴らさないならば「そのぴにょぴにょLv.32は焼き難くなくて馴らすということはない」ということは嘘だ fact6: もしあのぽよぽえLv.88は現われ難いならば「あのぽよぽえLv.88は幼けないがしかしそれは頼り無くない」ということは誤っている
fact1 -> int1: あのぽよぽえLv.88は頼り無い; fact4 & int1 -> int2: あのぽよぽえLv.88は幼けないしかつ頼り無い; int2 & fact2 -> int3: あのぽいぽにゅLv.48は馴らさない; int3 & fact5 -> hypothesis;
fact1 -> int1: {B}{a}; fact4 & int1 -> int2: ({A}{a} & {B}{a}); int2 & fact2 -> int3: ¬{C}{b}; int3 & fact5 -> hypothesis;
そのぴにょぴにょLv.32は焼き難くなくてそれは馴らさない
$facts$ = fact1: あのぽよぽえLv.88は頼り無くておまけに胡散臭い fact2: もしあのぽよぽえLv.88が幼けなくて頼り無いならあのぽいぽにゅLv.48は馴らさない fact3: もし仮に「「幼けなくて頼り無くない」ということは間違いな」モンスターがいるとするとそのぴにょぴにょLv.32は焼き難いということはない fact4: あのぽよぽえLv.88は幼けない fact5: あのぽいぽにゅLv.48は馴らさないならば「そのぴにょぴにょLv.32は焼き難くなくて馴らすということはない」ということは嘘だ fact6: もしあのぽよぽえLv.88は現われ難いならば「あのぽよぽえLv.88は幼けないがしかしそれは頼り無くない」ということは誤っている ; $hypothesis$ = そのぴにょぴにょLv.32は焼き難くなくてそれは馴らさない ; $proof$ = 
fact1 -> int1: あのぽよぽえLv.88は頼り無い; fact4 & int1 -> int2: あのぽよぽえLv.88は幼けないしかつ頼り無い; int2 & fact2 -> int3: あのぽいぽにゅLv.48は馴らさない; int3 & fact5 -> hypothesis; __DISPROVED__
fact1 -> int1: {B}{a}; fact4 & int1 -> int2: ({A}{a} & {B}{a}); int2 & fact2 -> int3: ¬{C}{b}; int3 & fact5 -> hypothesis; __DISPROVED__