「「このぷにゃぷよLv.90は働き出すか若い」ということは確かでない」ということは確かだ
fact1: もし仮にこのぷにゃぷよLv.90が目新しいなら若い fact2: もしも素早くないモンスターが維持・向上するということはないとしたら汚らしくない fact3: もしもとあるモンスターは目新しくないなら「働き出すかもしくはそれは若いか両方である」ということは成り立たない fact4: 仮に「「とあるモンスターは目新しくて迷い難い」ということは本当である」ということは成り立たないとするとそれは目新しいということはない fact5: あらゆるモンスターは目新しいモンスターで加えて汚らしい fact6: もしあるモンスターは汚らしくないならば「目新しいし加えて迷い難い」ということは偽だ
fact5 -> int1: このぷにゃぷよLv.90は目新しくておまけに汚らしい; int1 -> int2: このぷにゃぷよLv.90は目新しい; int2 & fact1 -> int3: このぷにゃぷよLv.90は若い; int3 -> hypothesis;
fact5 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {A}{a}; int2 & fact1 -> int3: {C}{a}; int3 -> hypothesis;
「「このぷにゃぷよLv.90は働き出すか若い」ということは確かでない」ということは確かだ
fact10 -> int4: もしこのぷにゃぷよLv.90は目新しくないならば「このぷにゃぷよLv.90は働き出すか若いかどちらもである」ということは成り立たない; fact9 -> int5: もし仮に「このぷにゃぷよLv.90は目新しいし更に迷い難い」ということは偽だとするとそれは目新しいということはない; fact8 -> int6: もしもこのぷにゃぷよLv.90は汚らしくないとしたら「このぷにゃぷよLv.90は目新しいし迷い難い」ということは事実と異なる; fact7 -> int7: このぷにゃぷよLv.90は素早くなくておまけに維持・向上しないとすれば汚らしいということはない;
$facts$ = fact1: もし仮にこのぷにゃぷよLv.90が目新しいなら若い fact2: もしも素早くないモンスターが維持・向上するということはないとしたら汚らしくない fact3: もしもとあるモンスターは目新しくないなら「働き出すかもしくはそれは若いか両方である」ということは成り立たない fact4: 仮に「「とあるモンスターは目新しくて迷い難い」ということは本当である」ということは成り立たないとするとそれは目新しいということはない fact5: あらゆるモンスターは目新しいモンスターで加えて汚らしい fact6: もしあるモンスターは汚らしくないならば「目新しいし加えて迷い難い」ということは偽だ ; $hypothesis$ = 「「このぷにゃぷよLv.90は働き出すか若い」ということは確かでない」ということは確かだ ; $proof$ = 
fact5 -> int1: このぷにゃぷよLv.90は目新しくておまけに汚らしい; int1 -> int2: このぷにゃぷよLv.90は目新しい; int2 & fact1 -> int3: このぷにゃぷよLv.90は若い; int3 -> hypothesis; __DISPROVED__
fact5 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {A}{a}; int2 & fact1 -> int3: {C}{a}; int3 -> hypothesis; __DISPROVED__