「根気強いか乏しいモンスターはいる」ということは事実でない
fact1: 厚かましくないモンスターは許し難しし合併し易い fact2: 「とあるモンスターは厚かましいかもしくは乏しいかもしくは両方である」ということは正しい fact3: このみよみねLv.15は余所余所しいししかも飲み易い fact4: このみよみねLv.15は厚かましいしまた根気強い fact5: そのぷやぷにょLv.84は厚かましい fact6: このみよみねLv.15は厚かましい
fact4 -> int1: 「このみよみねLv.15は根気強い」ということは誤っていない; int1 -> int2: このみよみねLv.15は根気強いかまたは乏しいかまたは両方である; int2 -> hypothesis;
fact4 -> int1: {B}{a}; int1 -> int2: ({B}{a} v {C}{a}); int2 -> hypothesis;
このぴいぴえLv.14は許し難ししまた合併し易い
fact7 -> int3: もしもこのぴいぴえLv.14が厚かましくないとすればこのぴいぴえLv.14は許し難くて更に合併し易い;
$facts$ = fact1: 厚かましくないモンスターは許し難しし合併し易い fact2: 「とあるモンスターは厚かましいかもしくは乏しいかもしくは両方である」ということは正しい fact3: このみよみねLv.15は余所余所しいししかも飲み易い fact4: このみよみねLv.15は厚かましいしまた根気強い fact5: そのぷやぷにょLv.84は厚かましい fact6: このみよみねLv.15は厚かましい ; $hypothesis$ = 「根気強いか乏しいモンスターはいる」ということは事実でない ; $proof$ = 
fact4 -> int1: 「このみよみねLv.15は根気強い」ということは誤っていない; int1 -> int2: このみよみねLv.15は根気強いかまたは乏しいかまたは両方である; int2 -> hypothesis; __DISPROVED__
fact4 -> int1: {B}{a}; int1 -> int2: ({B}{a} v {C}{a}); int2 -> hypothesis; __DISPROVED__