「このもなもにょLv.81は算定し難いし加えて進み易い」ということは成り立つということはない
fact1: もし進み易いモンスターでありおまけに造営するということはないモンスターがいるとしたらこのまにゃまちゅLv.39は取り辛くない fact2: このまにゃまちゅLv.39は取り辛くて臭い fact3: もしこのまにゃまちゅLv.39が臭いならばこのもなもにょLv.81は算定し難い fact4: もしも「取り辛くない」モンスターがいるとするとこのもわもちょLv.44は押さえ難いし更にそれは取り辛い fact5: このもなもにょLv.81は進み易い fact6: もし仮にこのもなもにょLv.81が軍人らしくないならそれは進み易いけれど造営しない
fact2 -> int1: このまにゃまちゅLv.39は臭い; int1 & fact3 -> int2: このもなもにょLv.81は算定し難い; int2 & fact5 -> hypothesis;
fact2 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact5 -> hypothesis;
このもわもちょLv.44は押さえ難くて臭い
$facts$ = fact1: もし進み易いモンスターでありおまけに造営するということはないモンスターがいるとしたらこのまにゃまちゅLv.39は取り辛くない fact2: このまにゃまちゅLv.39は取り辛くて臭い fact3: もしこのまにゃまちゅLv.39が臭いならばこのもなもにょLv.81は算定し難い fact4: もしも「取り辛くない」モンスターがいるとするとこのもわもちょLv.44は押さえ難いし更にそれは取り辛い fact5: このもなもにょLv.81は進み易い fact6: もし仮にこのもなもにょLv.81が軍人らしくないならそれは進み易いけれど造営しない ; $hypothesis$ = 「このもなもにょLv.81は算定し難いし加えて進み易い」ということは成り立つということはない ; $proof$ = 
fact2 -> int1: このまにゃまちゅLv.39は臭い; int1 & fact3 -> int2: このもなもにょLv.81は算定し難い; int2 & fact5 -> hypothesis; __DISPROVED__
fact2 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact5 -> hypothesis; __DISPROVED__