このもよもにゅLv.20は着易くない
fact1: あのぴちゅぴねLv.1は自首する fact2: あのぴちゅぴねLv.1はなぐり書きする fact3: あのぴちゅぴねLv.1が薄青いしその上なぐり書きするならこのもよもにゅLv.20は着易いということはない fact4: もしも「なにがしかのモンスターは着易いし自首する」ということは間違っているとしたら「自首しない」ということは真実である fact5: もしあのぴちゅぴねLv.1が自首するとすればあのぴちゅぴねLv.1は薄青い fact6: もし仮にこのもちゅもちゅLv.29がなぐり書きしないとしたらあのぴちゅぴねLv.1は薄青くて塩辛い fact7: そのまくまよLv.49はなぐり書きする
fact5 & fact1 -> int1: あのぴちゅぴねLv.1は薄青い; int1 & fact2 -> int2: あのぴちゅぴねLv.1は薄青いしかつなぐり書きする; int2 & fact3 -> hypothesis;
fact5 & fact1 -> int1: {B}{a}; int1 & fact2 -> int2: ({B}{a} & {C}{a}); int2 & fact3 -> hypothesis;
あのもくもにゅLv.72は薄青い
fact8 -> int3: もし「あのぴちゅぴねLv.1は着易いし自首する」ということは成り立つということはないとするとあのぴちゅぴねLv.1は自首しない;
$facts$ = fact1: あのぴちゅぴねLv.1は自首する fact2: あのぴちゅぴねLv.1はなぐり書きする fact3: あのぴちゅぴねLv.1が薄青いしその上なぐり書きするならこのもよもにゅLv.20は着易いということはない fact4: もしも「なにがしかのモンスターは着易いし自首する」ということは間違っているとしたら「自首しない」ということは真実である fact5: もしあのぴちゅぴねLv.1が自首するとすればあのぴちゅぴねLv.1は薄青い fact6: もし仮にこのもちゅもちゅLv.29がなぐり書きしないとしたらあのぴちゅぴねLv.1は薄青くて塩辛い fact7: そのまくまよLv.49はなぐり書きする ; $hypothesis$ = このもよもにゅLv.20は着易くない ; $proof$ = 
fact5 & fact1 -> int1: あのぴちゅぴねLv.1は薄青い; int1 & fact2 -> int2: あのぴちゅぴねLv.1は薄青いしかつなぐり書きする; int2 & fact3 -> hypothesis; __PROVED__
fact5 & fact1 -> int1: {B}{a}; int1 & fact2 -> int2: ({B}{a} & {C}{a}); int2 & fact3 -> hypothesis; __PROVED__