そのぽやぽちゅLv.6がねちっこいならばそのまにょまいLv.85は望ましい
fact1: ねちっこいモンスターは望ましい fact2: もし仮に「そのぽやぽちゅLv.6は小賢しい」ということは偽でないならばそのまにょまいLv.85は望ましい fact3: 仮にそのまにょまいLv.85がねちっこいとするとそのぽやぽちゅLv.6は望ましい fact4: もし仮にそのぽやぽちゅLv.6がねちっこいならそのぽやぽちゅLv.6は小賢しい fact5: もし仮にこのみちゃみゆLv.17が小賢しいとしたら誘い込む fact6: もし仮にそのぽやぽちゅLv.6が望ましいとするとそのまにょまいLv.85は小賢しい
void -> assump1: 以下のように仮定する。そのぽやぽちゅLv.6はねちっこい; fact4 & assump1 -> int1: そのぽやぽちゅLv.6は小賢しい; int1 & fact2 -> int2: そのまにょまいLv.85は望ましい; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact4 & assump1 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{b}; [assump1] & int2 -> hypothesis;
そのもちゃもにゅLv.88は望ましい
fact7 -> int3: そのもちゃもにゅLv.88がねちっこいならそのもちゃもにゅLv.88は望ましい;
$facts$ = fact1: ねちっこいモンスターは望ましい fact2: もし仮に「そのぽやぽちゅLv.6は小賢しい」ということは偽でないならばそのまにょまいLv.85は望ましい fact3: 仮にそのまにょまいLv.85がねちっこいとするとそのぽやぽちゅLv.6は望ましい fact4: もし仮にそのぽやぽちゅLv.6がねちっこいならそのぽやぽちゅLv.6は小賢しい fact5: もし仮にこのみちゃみゆLv.17が小賢しいとしたら誘い込む fact6: もし仮にそのぽやぽちゅLv.6が望ましいとするとそのまにょまいLv.85は小賢しい ; $hypothesis$ = そのぽやぽちゅLv.6がねちっこいならばそのまにょまいLv.85は望ましい ; $proof$ = 
void -> assump1: 以下のように仮定する。そのぽやぽちゅLv.6はねちっこい; fact4 & assump1 -> int1: そのぽやぽちゅLv.6は小賢しい; int1 & fact2 -> int2: そのまにょまいLv.85は望ましい; [assump1] & int2 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact4 & assump1 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{b}; [assump1] & int2 -> hypothesis; __PROVED__