あのもなもにゅLv.19はおっきい
fact1: あのもなもにゅLv.19は白っぽくない fact2: とあるモンスターは拙い fact3: あのもにゃもちょLv.80は誇りっぽい fact4: あのもにゃもちょLv.80は拙い fact5: 誇りっぽいモンスターが拙いならばそのぷちゃぷえLv.2は白っぽくない fact6: そのぷちゃぷえLv.2は白っぽいということはないならば「あのもなもにゅLv.19はおっきい」ということは真実である
fact3 & fact4 -> int1: あのもにゃもちょLv.80は誇りっぽいモンスターであり拙い; int1 -> int2: 誇りっぽくて更に拙いモンスターはいる; int2 & fact5 -> int3: そのぷちゃぷえLv.2は白っぽくない; int3 & fact6 -> hypothesis;
fact3 & fact4 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact5 -> int3: ¬{C}{b}; int3 & fact6 -> hypothesis;
$facts$ = fact1: あのもなもにゅLv.19は白っぽくない fact2: とあるモンスターは拙い fact3: あのもにゃもちょLv.80は誇りっぽい fact4: あのもにゃもちょLv.80は拙い fact5: 誇りっぽいモンスターが拙いならばそのぷちゃぷえLv.2は白っぽくない fact6: そのぷちゃぷえLv.2は白っぽいということはないならば「あのもなもにゅLv.19はおっきい」ということは真実である ; $hypothesis$ = あのもなもにゅLv.19はおっきい ; $proof$ = 
fact3 & fact4 -> int1: あのもにゃもちょLv.80は誇りっぽいモンスターであり拙い; int1 -> int2: 誇りっぽくて更に拙いモンスターはいる; int2 & fact5 -> int3: そのぷちゃぷえLv.2は白っぽくない; int3 & fact6 -> hypothesis; __PROVED__
fact3 & fact4 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact5 -> int3: ¬{C}{b}; int3 & fact6 -> hypothesis; __PROVED__