このもいもねLv.40は取得し易くない
fact1: このまにゃまちょLv.79は馬鹿でかいならば「あのぴえぴねLv.45は馬鹿でかい」ということは成り立つ fact2: このもやもにゅLv.2は見える fact3: 仮にあのぴえぴねLv.45が小汚いならばこのぴちょぴちゃLv.16は済ま無い fact4: もし仮にとあるモンスターが馬鹿でかいとすればそれは小汚い fact5: もしこのもやもにゅLv.2が小汚いし加えてそれが見えればこのもいもねLv.40は取得し易くない fact6: このもやもにゅLv.2は小汚い
fact6 & fact2 -> int1: 「このもやもにゅLv.2は小汚くて見える」ということは正しい; int1 & fact5 -> hypothesis;
fact6 & fact2 -> int1: ({A}{a} & {B}{a}); int1 & fact5 -> hypothesis;
このぴちょぴちゃLv.16は済ま無いしおまけに阿呆らしい
fact9 -> int2: もし仮に「あのぴえぴねLv.45は馬鹿でかい」ということは事実であるとするとあのぴえぴねLv.45は小汚い;
$facts$ = fact1: このまにゃまちょLv.79は馬鹿でかいならば「あのぴえぴねLv.45は馬鹿でかい」ということは成り立つ fact2: このもやもにゅLv.2は見える fact3: 仮にあのぴえぴねLv.45が小汚いならばこのぴちょぴちゃLv.16は済ま無い fact4: もし仮にとあるモンスターが馬鹿でかいとすればそれは小汚い fact5: もしこのもやもにゅLv.2が小汚いし加えてそれが見えればこのもいもねLv.40は取得し易くない fact6: このもやもにゅLv.2は小汚い ; $hypothesis$ = このもいもねLv.40は取得し易くない ; $proof$ = 
fact6 & fact2 -> int1: 「このもやもにゅLv.2は小汚くて見える」ということは正しい; int1 & fact5 -> hypothesis; __PROVED__
fact6 & fact2 -> int1: ({A}{a} & {B}{a}); int1 & fact5 -> hypothesis; __PROVED__