「そのぴのぴいLv.99は認め難いかまたはそれは誤解され易い」ということは事実と異なる
fact1: もし仮にそのぴのぴいLv.99が馴染み難くて加えてそれが認め難いならこのみちょみよLv.23は泣き騒がない fact2: 仮にそのぷのぷえLv.84は認め難くないとすれば「そのぴのぴいLv.99は認め難いかそれは誤解され易いか両方である」ということは成り立つということはない fact3: もし仮に「このみちょみよLv.23は泣き騒ぐし馴染み難い」ということは事実ならそのぷのぷえLv.84は認め難くない fact4: このみちょみよLv.23は泣き騒ぐ fact5: 仮にそのぴのぴいLv.99は泣き騒がないとすれば「このみちょみよLv.23は泣き騒ぐかまたは認め難い」ということは事実と異なる fact6: このみちょみよLv.23は馴染み難い fact7: 「このみちょみよLv.23が馴染み難いし認め難いとするとそのぴのぴいLv.99は泣き騒ぐということはない」ということは正しい fact8: 馴染み難くないモンスターは認め難くてさらに泣き騒ぐ fact9: 馴染み難くないモンスターは泣き騒ぐしかつ認め難い
fact4 & fact6 -> int1: このみちょみよLv.23は泣き騒ぐししかもそれは馴染み難い; int1 & fact3 -> int2: そのぷのぷえLv.84は認め難くない; int2 & fact2 -> hypothesis;
fact4 & fact6 -> int1: ({A}{a} & {B}{a}); int1 & fact3 -> int2: ¬{C}{b}; int2 & fact2 -> hypothesis;
そのぴのぴいLv.99は認め難いかあるいはそれは誤解され易い
fact10 -> int3: 仮にそのぴのぴいLv.99が馴染み難くないとしたらそのぴのぴいLv.99は泣き騒ぐし更に認め難い;
$facts$ = fact1: もし仮にそのぴのぴいLv.99が馴染み難くて加えてそれが認め難いならこのみちょみよLv.23は泣き騒がない fact2: 仮にそのぷのぷえLv.84は認め難くないとすれば「そのぴのぴいLv.99は認め難いかそれは誤解され易いか両方である」ということは成り立つということはない fact3: もし仮に「このみちょみよLv.23は泣き騒ぐし馴染み難い」ということは事実ならそのぷのぷえLv.84は認め難くない fact4: このみちょみよLv.23は泣き騒ぐ fact5: 仮にそのぴのぴいLv.99は泣き騒がないとすれば「このみちょみよLv.23は泣き騒ぐかまたは認め難い」ということは事実と異なる fact6: このみちょみよLv.23は馴染み難い fact7: 「このみちょみよLv.23が馴染み難いし認め難いとするとそのぴのぴいLv.99は泣き騒ぐということはない」ということは正しい fact8: 馴染み難くないモンスターは認め難くてさらに泣き騒ぐ fact9: 馴染み難くないモンスターは泣き騒ぐしかつ認め難い ; $hypothesis$ = 「そのぴのぴいLv.99は認め難いかまたはそれは誤解され易い」ということは事実と異なる ; $proof$ = 
fact4 & fact6 -> int1: このみちょみよLv.23は泣き騒ぐししかもそれは馴染み難い; int1 & fact3 -> int2: そのぷのぷえLv.84は認め難くない; int2 & fact2 -> hypothesis; __PROVED__
fact4 & fact6 -> int1: ({A}{a} & {B}{a}); int1 & fact3 -> int2: ¬{C}{b}; int2 & fact2 -> hypothesis; __PROVED__