このぴにぴわLv.63は父親らしくないかまたは御伺い致さないかまたは両方だ
fact1: そのまにゅまにゅLv.50は御伺い致すかまたは子供らしいということはない fact2: そのまにゅまにゅLv.50はせこい fact3: そのもねもにょLv.85は子供らしい fact4: もし仮にそのもねもにょLv.85が弱いし更に子供らしいならばそのまにゅまにゅLv.50は御伺い致さない fact5: せこいモンスターは父親らしくないし分かり難くない fact6: そのもねもにょLv.85は弱い fact7: 仮にそのまにゅまにゅLv.50が御伺い致すということはないならばこのぴにぴわLv.63は父親らしくないかそれは御伺い致す fact8: もし仮にそのまにゅまにゅLv.50が御伺い致さないとするとこのぴにぴわLv.63は父親らしくないかまたは御伺い致さないか両方ともだ
fact6 & fact3 -> int1: そのもねもにょLv.85は弱いし加えて子供らしい; int1 & fact4 -> int2: そのまにゅまにゅLv.50は御伺い致さない; int2 & fact8 -> hypothesis;
fact6 & fact3 -> int1: ({A}{a} & {B}{a}); int1 & fact4 -> int2: ¬{C}{b}; int2 & fact8 -> hypothesis;
そのもなもちゅLv.34は子供らしい
fact9 -> int3: もしそのまにゅまにゅLv.50がせこいとすればそのまにゅまにゅLv.50は父親らしくないし分かり難くない; int3 & fact10 -> int4: そのまにゅまにゅLv.50は父親らしくないしおまけに分かり難くない; int4 -> int5: 「父親らしくないしまた分かり難いということはない」モンスターはいる;
$facts$ = fact1: そのまにゅまにゅLv.50は御伺い致すかまたは子供らしいということはない fact2: そのまにゅまにゅLv.50はせこい fact3: そのもねもにょLv.85は子供らしい fact4: もし仮にそのもねもにょLv.85が弱いし更に子供らしいならばそのまにゅまにゅLv.50は御伺い致さない fact5: せこいモンスターは父親らしくないし分かり難くない fact6: そのもねもにょLv.85は弱い fact7: 仮にそのまにゅまにゅLv.50が御伺い致すということはないならばこのぴにぴわLv.63は父親らしくないかそれは御伺い致す fact8: もし仮にそのまにゅまにゅLv.50が御伺い致さないとするとこのぴにぴわLv.63は父親らしくないかまたは御伺い致さないか両方ともだ ; $hypothesis$ = このぴにぴわLv.63は父親らしくないかまたは御伺い致さないかまたは両方だ ; $proof$ = 
fact6 & fact3 -> int1: そのもねもにょLv.85は弱いし加えて子供らしい; int1 & fact4 -> int2: そのまにゅまにゅLv.50は御伺い致さない; int2 & fact8 -> hypothesis; __PROVED__
fact6 & fact3 -> int1: ({A}{a} & {B}{a}); int1 & fact4 -> int2: ¬{C}{b}; int2 & fact8 -> hypothesis; __PROVED__