「このまにょまちゃLv.95は物珍しい」ということは本当である
fact1: 「否定し難い」モンスターはいる fact2: そのぽちゅぽやLv.50は否定し難い fact3: 「そのぽちゅぽやLv.50は否定し難いということはないししかも犯し易いということはない」ということは成り立たないとすればそのもにもねLv.11は物珍しくない fact4: そのぽちゅぽやLv.50は犯し易い fact5: このぷえぷわLv.24は否定し難い fact6: そのぽちゅぽやLv.50は物珍しいししかも印象深い fact7: 犯し易いモンスターが否定し難いとするとこのまにょまちゃLv.95は物珍しいということはない fact8: 「もしそのぽちゅぽやLv.50が否定し難くないとするとこのまにょまちゃLv.95は物珍しくてそれに犯し易い」ということは確かだ
fact4 & fact2 -> int1: そのぽちゅぽやLv.50は犯し易くて否定し難い; int1 -> int2: 「犯し易いしそれに否定し難い」モンスターはいる; int2 & fact7 -> hypothesis;
fact4 & fact2 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact7 -> hypothesis;
そのもにもねLv.11は物珍しくない
$facts$ = fact1: 「否定し難い」モンスターはいる fact2: そのぽちゅぽやLv.50は否定し難い fact3: 「そのぽちゅぽやLv.50は否定し難いということはないししかも犯し易いということはない」ということは成り立たないとすればそのもにもねLv.11は物珍しくない fact4: そのぽちゅぽやLv.50は犯し易い fact5: このぷえぷわLv.24は否定し難い fact6: そのぽちゅぽやLv.50は物珍しいししかも印象深い fact7: 犯し易いモンスターが否定し難いとするとこのまにょまちゃLv.95は物珍しいということはない fact8: 「もしそのぽちゅぽやLv.50が否定し難くないとするとこのまにょまちゃLv.95は物珍しくてそれに犯し易い」ということは確かだ ; $hypothesis$ = 「このまにょまちゃLv.95は物珍しい」ということは本当である ; $proof$ = 
fact4 & fact2 -> int1: そのぽちゅぽやLv.50は犯し易くて否定し難い; int1 -> int2: 「犯し易いしそれに否定し難い」モンスターはいる; int2 & fact7 -> hypothesis; __DISPROVED__
fact4 & fact2 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact7 -> hypothesis; __DISPROVED__