「何らかのモンスターは疲労し易くて更に出し易い」ということは誤っている
fact1: そのぴにょぴいLv.68はうら若いしかつ出し易い fact2: そのぴにょぴいLv.68はうら若いししかも汚らわしい fact3: そのぴにょぴいLv.68は疲労し易い fact4: そのぴにょぴいLv.68はうら若いししかも未練がましい
fact1 -> int1: そのぴにょぴいLv.68は出し易い; int1 & fact3 -> int2: そのぴにょぴいLv.68は疲労し易くてまたそれは出し易い; int2 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact3 -> int2: ({C}{a} & {B}{a}); int2 -> hypothesis;
$facts$ = fact1: そのぴにょぴいLv.68はうら若いしかつ出し易い fact2: そのぴにょぴいLv.68はうら若いししかも汚らわしい fact3: そのぴにょぴいLv.68は疲労し易い fact4: そのぴにょぴいLv.68はうら若いししかも未練がましい ; $hypothesis$ = 「何らかのモンスターは疲労し易くて更に出し易い」ということは誤っている ; $proof$ = 
fact1 -> int1: そのぴにょぴいLv.68は出し易い; int1 & fact3 -> int2: そのぴにょぴいLv.68は疲労し易くてまたそれは出し易い; int2 -> hypothesis; __DISPROVED__
fact1 -> int1: {B}{a}; int1 & fact3 -> int2: ({C}{a} & {B}{a}); int2 -> hypothesis; __DISPROVED__