このぷにぷなLv.95は底深い
fact1: このみちゅみえLv.69は遠い fact2: もし仮にこのみちゅみえLv.69は遠いなら「あのぴえぴちゅLv.1は脆いということはないしその上反映され易くない」ということは偽である fact3: もし「このぷにぷなLv.95は忝い」ということは確かであるとしたらこのぷにぷなLv.95は底深い fact4: もし「あのぴえぴちゅLv.1は脆くないしまた反映され易くない」ということは成り立たないならばこのぷにぷなLv.95は忝い
fact2 & fact1 -> int1: 「あのぴえぴちゅLv.1は脆くなくて更にそれは反映され易くない」ということは成り立つということはない; int1 & fact4 -> int2: このぷにぷなLv.95は忝い; int2 & fact3 -> hypothesis;
fact2 & fact1 -> int1: ¬(¬{AA}{b} & ¬{AB}{b}); int1 & fact4 -> int2: {B}{c}; int2 & fact3 -> hypothesis;
$facts$ = fact1: このみちゅみえLv.69は遠い fact2: もし仮にこのみちゅみえLv.69は遠いなら「あのぴえぴちゅLv.1は脆いということはないしその上反映され易くない」ということは偽である fact3: もし「このぷにぷなLv.95は忝い」ということは確かであるとしたらこのぷにぷなLv.95は底深い fact4: もし「あのぴえぴちゅLv.1は脆くないしまた反映され易くない」ということは成り立たないならばこのぷにぷなLv.95は忝い ; $hypothesis$ = このぷにぷなLv.95は底深い ; $proof$ = 
fact2 & fact1 -> int1: 「あのぴえぴちゅLv.1は脆くなくて更にそれは反映され易くない」ということは成り立つということはない; int1 & fact4 -> int2: このぷにぷなLv.95は忝い; int2 & fact3 -> hypothesis; __PROVED__
fact2 & fact1 -> int1: ¬(¬{AA}{b} & ¬{AB}{b}); int1 & fact4 -> int2: {B}{c}; int2 & fact3 -> hypothesis; __PROVED__