このぷにょぷくLv.51は甘辛い
fact1: 「もし「このぷにょぷくLv.51は切り離し難くなくて更に口惜しくない」ということは成り立たないならこのぷにょぷくLv.51は甘辛い」ということは正しい fact2: そのぴいぴにゅLv.59は強化するがしかし切り離し難いということはない fact3: もし仮にそのぴいぴにゅLv.59は切り離し難くないとすれば「このぷにょぷくLv.51は切り離し難くなくて口惜しくない」ということは間違っている
fact2 -> int1: そのぴいぴにゅLv.59は切り離し難くない; int1 & fact3 -> int2: 「このぷにょぷくLv.51は切り離し難くなくてそれは口惜しくない」ということは成り立たない; int2 & fact1 -> hypothesis;
fact2 -> int1: ¬{B}{a}; int1 & fact3 -> int2: ¬(¬{B}{b} & ¬{C}{b}); int2 & fact1 -> hypothesis;
$facts$ = fact1: 「もし「このぷにょぷくLv.51は切り離し難くなくて更に口惜しくない」ということは成り立たないならこのぷにょぷくLv.51は甘辛い」ということは正しい fact2: そのぴいぴにゅLv.59は強化するがしかし切り離し難いということはない fact3: もし仮にそのぴいぴにゅLv.59は切り離し難くないとすれば「このぷにょぷくLv.51は切り離し難くなくて口惜しくない」ということは間違っている ; $hypothesis$ = このぷにょぷくLv.51は甘辛い ; $proof$ = 
fact2 -> int1: そのぴいぴにゅLv.59は切り離し難くない; int1 & fact3 -> int2: 「このぷにょぷくLv.51は切り離し難くなくてそれは口惜しくない」ということは成り立たない; int2 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: ¬{B}{a}; int1 & fact3 -> int2: ¬(¬{B}{b} & ¬{C}{b}); int2 & fact1 -> hypothesis; __PROVED__