「きな臭いし更にインストール出来る」モンスターはいる
fact1: あのもゆもちゃLv.88はインストール出来る fact2: あらゆるモンスターはきな臭いしその上抜き付ける
fact2 -> int1: あのもゆもちゃLv.88はきな臭くてそれは抜き付ける; int1 -> int2: あのもゆもちゃLv.88はきな臭い; int2 & fact1 -> int3: あのもゆもちゃLv.88はきな臭くておまけにインストール出来る; int3 -> hypothesis;
fact2 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {A}{a}; int2 & fact1 -> int3: ({A}{a} & {C}{a}); int3 -> hypothesis;
$facts$ = fact1: あのもゆもちゃLv.88はインストール出来る fact2: あらゆるモンスターはきな臭いしその上抜き付ける ; $hypothesis$ = 「きな臭いし更にインストール出来る」モンスターはいる ; $proof$ = 
fact2 -> int1: あのもゆもちゃLv.88はきな臭くてそれは抜き付ける; int1 -> int2: あのもゆもちゃLv.88はきな臭い; int2 & fact1 -> int3: あのもゆもちゃLv.88はきな臭くておまけにインストール出来る; int3 -> hypothesis; __PROVED__
fact2 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {A}{a}; int2 & fact1 -> int3: ({A}{a} & {C}{a}); int3 -> hypothesis; __PROVED__