「そのみちゃみちょLv.91は大人らしくないしそれに上げ易いということはない」ということは成り立たない
fact1: 仮にこのもくもくLv.60は絶え間無いし加えて呪わしいとしたら「そのみちゃみちょLv.91はし難くない」ということは成り立つ fact2: 解し難いモンスターはし難い fact3: もしこのもくもくLv.60が呪わしくないかまたは絶え間無くないかあるいはどちらもだとしたらそのみちゃみちょLv.91は絶え間無くない fact4: もしもそのみちゃみちょLv.91はし難くないとすれば「それは大人らしくないしかつ上げ易いということはない」ということは偽だ fact5: もし仮にとあるモンスターがし難いとすればそれは呪わしくないかあるいは絶え間無くないかあるいはどちらもである fact6: このもくもくLv.60は呪わしい fact7: 絶え間無くないモンスターは大人らしくないしさらに上げ易くない fact8: このもくもくLv.60は絶え間無い
fact8 & fact6 -> int1: このもくもくLv.60が絶え間無いしその上それは呪わしい; int1 & fact1 -> int2: そのみちゃみちょLv.91はし難くない; int2 & fact4 -> hypothesis;
fact8 & fact6 -> int1: ({A}{a} & {B}{a}); int1 & fact1 -> int2: ¬{C}{b}; int2 & fact4 -> hypothesis;
そのみちゃみちょLv.91は大人らしくないししかもそれは上げ易くない
fact12 -> int3: もしも「そのみちゃみちょLv.91は絶え間無くない」ということは本当なら大人らしくないし上げ易いということはない; fact10 -> int4: このもくもくLv.60がし難いならばこのもくもくLv.60は呪わしくないかまたは絶え間無いということはないかどちらもである; fact11 -> int5: もしもこのもくもくLv.60が解し難いとするとし難い;
$facts$ = fact1: 仮にこのもくもくLv.60は絶え間無いし加えて呪わしいとしたら「そのみちゃみちょLv.91はし難くない」ということは成り立つ fact2: 解し難いモンスターはし難い fact3: もしこのもくもくLv.60が呪わしくないかまたは絶え間無くないかあるいはどちらもだとしたらそのみちゃみちょLv.91は絶え間無くない fact4: もしもそのみちゃみちょLv.91はし難くないとすれば「それは大人らしくないしかつ上げ易いということはない」ということは偽だ fact5: もし仮にとあるモンスターがし難いとすればそれは呪わしくないかあるいは絶え間無くないかあるいはどちらもである fact6: このもくもくLv.60は呪わしい fact7: 絶え間無くないモンスターは大人らしくないしさらに上げ易くない fact8: このもくもくLv.60は絶え間無い ; $hypothesis$ = 「そのみちゃみちょLv.91は大人らしくないしそれに上げ易いということはない」ということは成り立たない ; $proof$ = 
fact8 & fact6 -> int1: このもくもくLv.60が絶え間無いしその上それは呪わしい; int1 & fact1 -> int2: そのみちゃみちょLv.91はし難くない; int2 & fact4 -> hypothesis; __PROVED__
fact8 & fact6 -> int1: ({A}{a} & {B}{a}); int1 & fact1 -> int2: ¬{C}{b}; int2 & fact4 -> hypothesis; __PROVED__