このぴなぴねLv.91は親らしい
fact1: 「やくざっぽいということはないモンスターは御構い無くてかつ親らしい」ということは偽でない fact2: もしあのものもなLv.75が区別し易いとすれば比較し難い fact3: 仮にこのみなみやLv.26が計測・計算するしかつ如此しとしたらこのぴなぴねLv.91は親らしくない fact4: このみなみやLv.26は如此し fact5: 仮に「このみなみやLv.26はやくざっぽい」ということは偽でないとしたら計測・計算する fact6: このみなみやLv.26は御構い無くてそれはやくざっぽい
fact6 -> int1: このみなみやLv.26はやくざっぽい; int1 & fact5 -> int2: このみなみやLv.26は計測・計算する; int2 & fact4 -> int3: このみなみやLv.26は計測・計算するし如此し; int3 & fact3 -> hypothesis;
fact6 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{a}; int2 & fact4 -> int3: ({C}{a} & {D}{a}); int3 & fact3 -> hypothesis;
このぴなぴねLv.91は親らしい
fact7 -> int4: 仮にこのぴなぴねLv.91はやくざっぽくないとしたらあのぴなぴねLv.91は御構い無くて親らしい;
$facts$ = fact1: 「やくざっぽいということはないモンスターは御構い無くてかつ親らしい」ということは偽でない fact2: もしあのものもなLv.75が区別し易いとすれば比較し難い fact3: 仮にこのみなみやLv.26が計測・計算するしかつ如此しとしたらこのぴなぴねLv.91は親らしくない fact4: このみなみやLv.26は如此し fact5: 仮に「このみなみやLv.26はやくざっぽい」ということは偽でないとしたら計測・計算する fact6: このみなみやLv.26は御構い無くてそれはやくざっぽい ; $hypothesis$ = このぴなぴねLv.91は親らしい ; $proof$ = 
fact6 -> int1: このみなみやLv.26はやくざっぽい; int1 & fact5 -> int2: このみなみやLv.26は計測・計算する; int2 & fact4 -> int3: このみなみやLv.26は計測・計算するし如此し; int3 & fact3 -> hypothesis; __DISPROVED__
fact6 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{a}; int2 & fact4 -> int3: ({C}{a} & {D}{a}); int3 & fact3 -> hypothesis; __DISPROVED__