「「「あのぽにょぽのLv.47は恥ずかしし欲しい」ということは本当である」ということは成り立つということはない」ということは本当だ
fact1: もしもそのぴにぴねLv.40が恥ずかしないとすればあのぽにょぽのLv.47は恥ずかししそれに欲しい fact2: そのぴにぴねLv.40はいじらしくてそれに上がり難い fact3: もし「そのぴにぴねLv.40は埃っぽいか上がり難いかもしくはどちらもだ」ということは真実であるとすればそのぴにぴねLv.40は恥ずかしない
fact2 -> int1: そのぴにぴねLv.40は上がり難い; int1 -> int2: そのぴにぴねLv.40は埃っぽいかあるいはそれは上がり難いかまたは両方だ; int2 & fact3 -> int3: そのぴにぴねLv.40は恥ずかしない; int3 & fact1 -> hypothesis;
fact2 -> int1: {B}{a}; int1 -> int2: ({A}{a} v {B}{a}); int2 & fact3 -> int3: ¬{C}{a}; int3 & fact1 -> hypothesis;
$facts$ = fact1: もしもそのぴにぴねLv.40が恥ずかしないとすればあのぽにょぽのLv.47は恥ずかししそれに欲しい fact2: そのぴにぴねLv.40はいじらしくてそれに上がり難い fact3: もし「そのぴにぴねLv.40は埃っぽいか上がり難いかもしくはどちらもだ」ということは真実であるとすればそのぴにぴねLv.40は恥ずかしない ; $hypothesis$ = 「「「あのぽにょぽのLv.47は恥ずかしし欲しい」ということは本当である」ということは成り立つということはない」ということは本当だ ; $proof$ = 
fact2 -> int1: そのぴにぴねLv.40は上がり難い; int1 -> int2: そのぴにぴねLv.40は埃っぽいかあるいはそれは上がり難いかまたは両方だ; int2 & fact3 -> int3: そのぴにぴねLv.40は恥ずかしない; int3 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: {B}{a}; int1 -> int2: ({A}{a} v {B}{a}); int2 & fact3 -> int3: ¬{C}{a}; int3 & fact1 -> hypothesis; __DISPROVED__