あのみにゃみちゃLv.2は晒され易いかもしくはそれは遅し
fact1: 仮にこのぴにゅぴよLv.30が話し込むかまたは他愛無いとするとこのぷにぷやLv.6は企まない fact2: もしこのぴにゅぴよLv.30が遅しとすればこのぷにぷやLv.6は遅し fact3: 「仮にこのぷにぷやLv.6が遅しとするとあのみにゃみちゃLv.2はちっこい」ということは成り立つ fact4: もし仮に「このぷにぷやLv.6は企まない」ということは確かであるとすれば「あのみにゃみちゃLv.2は晒され易いかもしくは遅しかまたはどちらもだ」ということは誤っている fact5: あのみにゃみちゃLv.2は晒され易い
fact5 -> int1: あのみにゃみちゃLv.2は晒され易い; int1 -> hypothesis;
fact5 -> int1: {A}{a}; int1 -> hypothesis;
あのみにゃみちゃLv.2は晒され易いかそれはちっこいかあるいはどちらもである
$facts$ = fact1: 仮にこのぴにゅぴよLv.30が話し込むかまたは他愛無いとするとこのぷにぷやLv.6は企まない fact2: もしこのぴにゅぴよLv.30が遅しとすればこのぷにぷやLv.6は遅し fact3: 「仮にこのぷにぷやLv.6が遅しとするとあのみにゃみちゃLv.2はちっこい」ということは成り立つ fact4: もし仮に「このぷにぷやLv.6は企まない」ということは確かであるとすれば「あのみにゃみちゃLv.2は晒され易いかもしくは遅しかまたはどちらもだ」ということは誤っている fact5: あのみにゃみちゃLv.2は晒され易い ; $hypothesis$ = あのみにゃみちゃLv.2は晒され易いかもしくはそれは遅し ; $proof$ = 
fact5 -> int1: あのみにゃみちゃLv.2は晒され易い; int1 -> hypothesis; __PROVED__
fact5 -> int1: {A}{a}; int1 -> hypothesis; __PROVED__