このもなもにゅLv.60は圧縮出来るということはない
fact1: もし「このもなもにゅLv.60は毒々しいか艶めかしいかもしくはどちらもだ」ということは間違っていないならそれは圧縮出来ない fact2: このもなもにゅLv.60は艶めかしい fact3: このぷくぷねLv.92はダウンロード出来る fact4: このぷくぷねLv.92がダウンロード出来るとしたらこのぷくぷねLv.92は艶めかしい fact5: そのみいみちゅLv.45が艶めかしくないとすればこのもなもにゅLv.60は圧縮出来るし更にそれは毒々しい
fact2 -> int1: このもなもにゅLv.60は毒々しいかもしくは艶めかしいかまたは両方である; int1 & fact1 -> hypothesis;
fact2 -> int1: ({A}{a} v {B}{a}); int1 & fact1 -> hypothesis;
このもなもにゅLv.60は圧縮出来る
$facts$ = fact1: もし「このもなもにゅLv.60は毒々しいか艶めかしいかもしくはどちらもだ」ということは間違っていないならそれは圧縮出来ない fact2: このもなもにゅLv.60は艶めかしい fact3: このぷくぷねLv.92はダウンロード出来る fact4: このぷくぷねLv.92がダウンロード出来るとしたらこのぷくぷねLv.92は艶めかしい fact5: そのみいみちゅLv.45が艶めかしくないとすればこのもなもにゅLv.60は圧縮出来るし更にそれは毒々しい ; $hypothesis$ = このもなもにゅLv.60は圧縮出来るということはない ; $proof$ = 
fact2 -> int1: このもなもにゅLv.60は毒々しいかもしくは艶めかしいかまたは両方である; int1 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: ({A}{a} v {B}{a}); int1 & fact1 -> hypothesis; __PROVED__