あのみなみにょLv.14は会見する
fact1: 繋がり易いモンスターはいる fact2: 「「繋がり易くないかもしくは厚かましいか両方である」ということは間違いな」モンスターがいるとすればそのまえまのLv.59はわりない fact3: 「そのまえまのLv.59はわりないし割れ難い」ということは真実であるとするとあのみなみにょLv.14は会見しない fact4: 「このまちゅまねLv.12は繋がり易くないかもしくは厚かましいかまたは両方である」ということは偽である fact5: 「繋がり易くないかもしくは厚かましい」モンスターはいる fact6: そのまえまのLv.59は割れ難い fact7: このまちゅまねLv.12は繋がり易い fact8: 「「厚かましいということはない」ということは確かである」モンスターはいる
fact4 -> int1: 「「繋がり易くないかあるいは厚かましいかあるいは両方である」ということは誤りな」モンスターはいる; int1 & fact2 -> int2: そのまえまのLv.59はわりない; int2 & fact6 -> int3: そのまえまのLv.59はわりないし更に割れ難い; int3 & fact3 -> hypothesis;
fact4 -> int1: (Ex): ¬(¬{AA}x v {AB}x); int1 & fact2 -> int2: {A}{a}; int2 & fact6 -> int3: ({A}{a} & {B}{a}); int3 & fact3 -> hypothesis;
$facts$ = fact1: 繋がり易いモンスターはいる fact2: 「「繋がり易くないかもしくは厚かましいか両方である」ということは間違いな」モンスターがいるとすればそのまえまのLv.59はわりない fact3: 「そのまえまのLv.59はわりないし割れ難い」ということは真実であるとするとあのみなみにょLv.14は会見しない fact4: 「このまちゅまねLv.12は繋がり易くないかもしくは厚かましいかまたは両方である」ということは偽である fact5: 「繋がり易くないかもしくは厚かましい」モンスターはいる fact6: そのまえまのLv.59は割れ難い fact7: このまちゅまねLv.12は繋がり易い fact8: 「「厚かましいということはない」ということは確かである」モンスターはいる ; $hypothesis$ = あのみなみにょLv.14は会見する ; $proof$ = 
fact4 -> int1: 「「繋がり易くないかあるいは厚かましいかあるいは両方である」ということは誤りな」モンスターはいる; int1 & fact2 -> int2: そのまえまのLv.59はわりない; int2 & fact6 -> int3: そのまえまのLv.59はわりないし更に割れ難い; int3 & fact3 -> hypothesis; __DISPROVED__
fact4 -> int1: (Ex): ¬(¬{AA}x v {AB}x); int1 & fact2 -> int2: {A}{a}; int2 & fact6 -> int3: ({A}{a} & {B}{a}); int3 & fact3 -> hypothesis; __DISPROVED__