そのみなみわLv.3は睦まじい
fact1: もしなんらかのモンスターが激しいとすればそれは睦まじくないかもしくはちぎれ易いかまたはどちらもだ fact2: そのみのみちゅLv.69が馴染み易くなくてそれに憎々しいということはないならばこのぽわぽにゃLv.68は憎々しくない fact3: もし「このぽわぽにゃLv.68は憎々しいということはない」ということは本当であるとするとこのぷのぷちょLv.84は現われ難くてかつ激しい fact4: もしそのみなみわLv.3が現われ難いならばそのみなみわLv.3は睦まじい fact5: そのみなみわLv.3は憎々しくない fact6: 「そのみなみわLv.3は激しい」ということは事実であるなら現われ難い fact7: もし仮に「そのみなみわLv.3は現われ難くてかつ激しい」ということは間違っているならそのもにゅもやLv.42は激しくない fact8: もしもそのみなみわLv.3が憎々しくないならそのみなみわLv.3は激しいししかもちぎれ易い
fact5 & fact8 -> int1: そのみなみわLv.3は激しくてちぎれ易い; int1 -> int2: そのみなみわLv.3は激しい; int2 & fact6 -> int3: そのみなみわLv.3は現われ難い; int3 & fact4 -> hypothesis;
fact5 & fact8 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {A}{a}; int2 & fact6 -> int3: {C}{a}; int3 & fact4 -> hypothesis;
そのみなみわLv.3は睦まじくない
fact9 -> int4: もし仮にこのぷのぷちょLv.84が激しいならこのぷのぷちょLv.84は睦まじくないかあるいはちぎれ易いかまたは両方だ;
$facts$ = fact1: もしなんらかのモンスターが激しいとすればそれは睦まじくないかもしくはちぎれ易いかまたはどちらもだ fact2: そのみのみちゅLv.69が馴染み易くなくてそれに憎々しいということはないならばこのぽわぽにゃLv.68は憎々しくない fact3: もし「このぽわぽにゃLv.68は憎々しいということはない」ということは本当であるとするとこのぷのぷちょLv.84は現われ難くてかつ激しい fact4: もしそのみなみわLv.3が現われ難いならばそのみなみわLv.3は睦まじい fact5: そのみなみわLv.3は憎々しくない fact6: 「そのみなみわLv.3は激しい」ということは事実であるなら現われ難い fact7: もし仮に「そのみなみわLv.3は現われ難くてかつ激しい」ということは間違っているならそのもにゅもやLv.42は激しくない fact8: もしもそのみなみわLv.3が憎々しくないならそのみなみわLv.3は激しいししかもちぎれ易い ; $hypothesis$ = そのみなみわLv.3は睦まじい ; $proof$ = 
fact5 & fact8 -> int1: そのみなみわLv.3は激しくてちぎれ易い; int1 -> int2: そのみなみわLv.3は激しい; int2 & fact6 -> int3: そのみなみわLv.3は現われ難い; int3 & fact4 -> hypothesis; __PROVED__
fact5 & fact8 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {A}{a}; int2 & fact6 -> int3: {C}{a}; int3 & fact4 -> hypothesis; __PROVED__