あのみにゃみえLv.33は広がり易くないが救出する
fact1: あのみにゃみえLv.33は救出する fact2: もし仮に「そのぽにぽちゅLv.91は図太くて更に弱い」ということは間違っているとするとあのみにゃみえLv.33は広がり易くない fact3: もし仮にそのぽにぽちゅLv.91が弱くないとするとあのみにゃみえLv.33は広がり易くない fact4: もし仮に「とあるモンスターは救出するし厚かましい」ということは成り立たないならばそれは救出しない fact5: 図太いしその上弱いというモンスターはない
fact5 -> int1: 「「そのぽにぽちゅLv.91は図太くて更にそれは弱い」ということは成り立たない」ということは成り立つ; int1 & fact2 -> int2: あのみにゃみえLv.33は広がり易くない; int2 & fact1 -> hypothesis;
fact5 -> int1: ¬({AA}{aa} & {AB}{aa}); int1 & fact2 -> int2: ¬{A}{a}; int2 & fact1 -> hypothesis;
「あのみにゃみえLv.33は広がり易いということはないけれど救出する」ということは偽である
fact6 -> int3: もし仮に「そのぽわぽやLv.11は救出するし更に厚かましい」ということは誤りならそれは救出しない;
$facts$ = fact1: あのみにゃみえLv.33は救出する fact2: もし仮に「そのぽにぽちゅLv.91は図太くて更に弱い」ということは間違っているとするとあのみにゃみえLv.33は広がり易くない fact3: もし仮にそのぽにぽちゅLv.91が弱くないとするとあのみにゃみえLv.33は広がり易くない fact4: もし仮に「とあるモンスターは救出するし厚かましい」ということは成り立たないならばそれは救出しない fact5: 図太いしその上弱いというモンスターはない ; $hypothesis$ = あのみにゃみえLv.33は広がり易くないが救出する ; $proof$ = 
fact5 -> int1: 「「そのぽにぽちゅLv.91は図太くて更にそれは弱い」ということは成り立たない」ということは成り立つ; int1 & fact2 -> int2: あのみにゃみえLv.33は広がり易くない; int2 & fact1 -> hypothesis; __PROVED__
fact5 -> int1: ¬({AA}{aa} & {AB}{aa}); int1 & fact2 -> int2: ¬{A}{a}; int2 & fact1 -> hypothesis; __PROVED__