このまのまゆLv.61は拭い難くてしらばくれる
fact1: 結び付き難くないモンスターは拭い難い fact2: このまのまゆLv.61は結び付き難いということはない fact3: もしも「とあるモンスターは愚かしくてそれに得難い」ということは偽ならば拭い難くない fact4: このまのまゆLv.61はしらばくれる
fact1 -> int1: もしこのまのまゆLv.61が結び付き難くないとすると拭い難い; int1 & fact2 -> int2: 「このまのまゆLv.61は拭い難い」ということは真実である; int2 & fact4 -> hypothesis;
fact1 -> int1: ¬{B}{aa} -> {C}{aa}; int1 & fact2 -> int2: {C}{aa}; int2 & fact4 -> hypothesis;
「このぽにぽねLv.74は結び付き難い」ということは成り立つ
fact5 -> int3: もし仮に「このぽにぽねLv.74は愚かしくて更に得難い」ということは偽ならばこのぽにぽねLv.74は拭い難くない;
$facts$ = fact1: 結び付き難くないモンスターは拭い難い fact2: このまのまゆLv.61は結び付き難いということはない fact3: もしも「とあるモンスターは愚かしくてそれに得難い」ということは偽ならば拭い難くない fact4: このまのまゆLv.61はしらばくれる ; $hypothesis$ = このまのまゆLv.61は拭い難くてしらばくれる ; $proof$ = 
fact1 -> int1: もしこのまのまゆLv.61が結び付き難くないとすると拭い難い; int1 & fact2 -> int2: 「このまのまゆLv.61は拭い難い」ということは真実である; int2 & fact4 -> hypothesis; __PROVED__
fact1 -> int1: ¬{B}{aa} -> {C}{aa}; int1 & fact2 -> int2: {C}{aa}; int2 & fact4 -> hypothesis; __PROVED__