あのもにもにゅLv.69は繰り返す
fact1: このぷわぷちゅLv.50はまどろっこしいしそれは小狡い fact2: あのもにもにゅLv.69は小狡い fact3: もし仮に「このぷわぷちゅLv.50は溢れ落ちる」ということは事実であるとすればあのもにもにゅLv.69は繰り返す fact4: 「もし仮にそのぴにょぴにゅLv.98が小狡くないならばこのぷわぷちゅLv.50は繰り返すしまどろっこしい」ということは本当である fact5: もしこのぷわぷちゅLv.50が繰り返すし更にまどろっこしいとすればあのもにもにゅLv.69は繰り返すということはない fact6: このぷわぷちゅLv.50は小狡い fact7: このぷわぷちゅLv.50がまどろっこしいとしたらそれは溢れ落ちる
fact1 -> int1: このぷわぷちゅLv.50はまどろっこしい; int1 & fact7 -> int2: 「このぷわぷちゅLv.50は溢れ落ちる」ということは成り立つ; int2 & fact3 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact7 -> int2: {C}{a}; int2 & fact3 -> hypothesis;
「あのもにもにゅLv.69は繰り返さない」ということは本当だ
$facts$ = fact1: このぷわぷちゅLv.50はまどろっこしいしそれは小狡い fact2: あのもにもにゅLv.69は小狡い fact3: もし仮に「このぷわぷちゅLv.50は溢れ落ちる」ということは事実であるとすればあのもにもにゅLv.69は繰り返す fact4: 「もし仮にそのぴにょぴにゅLv.98が小狡くないならばこのぷわぷちゅLv.50は繰り返すしまどろっこしい」ということは本当である fact5: もしこのぷわぷちゅLv.50が繰り返すし更にまどろっこしいとすればあのもにもにゅLv.69は繰り返すということはない fact6: このぷわぷちゅLv.50は小狡い fact7: このぷわぷちゅLv.50がまどろっこしいとしたらそれは溢れ落ちる ; $hypothesis$ = あのもにもにゅLv.69は繰り返す ; $proof$ = 
fact1 -> int1: このぷわぷちゅLv.50はまどろっこしい; int1 & fact7 -> int2: 「このぷわぷちゅLv.50は溢れ落ちる」ということは成り立つ; int2 & fact3 -> hypothesis; __PROVED__
fact1 -> int1: {A}{a}; int1 & fact7 -> int2: {C}{a}; int2 & fact3 -> hypothesis; __PROVED__