「あのぽにょぽにゃLv.94は薄ら寒いということはない一方で理解し難い」ということは確かでない
fact1: もし仮にそのまよまえLv.0が根気強いしその上増え難いとすればあのぽにょぽにゃLv.94は似付かわしかない fact2: そのまよまえLv.0は根気強い fact3: そのまよまえLv.0は増え難い fact4: なんらかのモンスターは根気強いということはないならば「それは成り易くない一方で開示請求する」ということは成り立たない fact5: もし仮にそのまよまえLv.0が薄ら寒くないとすればそれは似付かわしいしそれに理解し難い fact6: そのぽにゃぽにゃLv.36は根気強いし連れ歩く fact7: 仮にあのぽにょぽにゃLv.94は似付かわしかないならば「それは薄ら寒くないがしかし理解し難い」ということは誤りである
fact2 & fact3 -> int1: そのまよまえLv.0は根気強いし増え難い; int1 & fact1 -> int2: あのぽにょぽにゃLv.94は似付かわしかない; int2 & fact7 -> hypothesis;
fact2 & fact3 -> int1: ({A}{a} & {B}{a}); int1 & fact1 -> int2: ¬{C}{b}; int2 & fact7 -> hypothesis;
「あのぽにょぽにゃLv.94は成り易いということはないがしかし開示請求する」ということは誤りだ
fact9 -> int3: もしあのぽにょぽにゃLv.94は根気強くないとすれば「それは成り易くないがしかし開示請求する」ということは成り立たない;
$facts$ = fact1: もし仮にそのまよまえLv.0が根気強いしその上増え難いとすればあのぽにょぽにゃLv.94は似付かわしかない fact2: そのまよまえLv.0は根気強い fact3: そのまよまえLv.0は増え難い fact4: なんらかのモンスターは根気強いということはないならば「それは成り易くない一方で開示請求する」ということは成り立たない fact5: もし仮にそのまよまえLv.0が薄ら寒くないとすればそれは似付かわしいしそれに理解し難い fact6: そのぽにゃぽにゃLv.36は根気強いし連れ歩く fact7: 仮にあのぽにょぽにゃLv.94は似付かわしかないならば「それは薄ら寒くないがしかし理解し難い」ということは誤りである ; $hypothesis$ = 「あのぽにょぽにゃLv.94は薄ら寒いということはない一方で理解し難い」ということは確かでない ; $proof$ = 
fact2 & fact3 -> int1: そのまよまえLv.0は根気強いし増え難い; int1 & fact1 -> int2: あのぽにょぽにゃLv.94は似付かわしかない; int2 & fact7 -> hypothesis; __PROVED__
fact2 & fact3 -> int1: ({A}{a} & {B}{a}); int1 & fact1 -> int2: ¬{C}{b}; int2 & fact7 -> hypothesis; __PROVED__