あのぽなぽゆLv.37は荒い
fact1: 「看過し難い」モンスターはいる fact2: 「荒い」モンスターはいる fact3: もし仮に看過し難いモンスターがバリアフリー化するとするとあのぽなぽゆLv.37は荒くない fact4: 荒いしその上看過し難いモンスターはいる fact5: そのぷにょぷよLv.42は看過し難い fact6: そのぷにょぷよLv.42はバリアフリー化するし更にまどろっこしい fact7: もしもそのぷにょぷよLv.42はバリアフリー化するがしかしまどろっこしくらないとするとあのぽなぽゆLv.37はまどろっこしくらない
fact6 -> int1: そのぷにょぷよLv.42はバリアフリー化する; fact5 & int1 -> int2: そのぷにょぷよLv.42は看過し難くてバリアフリー化する; int2 -> int3: 看過し難いモンスターであってバリアフリー化するモンスターはいる; int3 & fact3 -> hypothesis;
fact6 -> int1: {B}{a}; fact5 & int1 -> int2: ({A}{a} & {B}{a}); int2 -> int3: (Ex): ({A}x & {B}x); int3 & fact3 -> hypothesis;
「あのぽなぽゆLv.37はまどろっこしくらない」ということは誤りであるということはない
$facts$ = fact1: 「看過し難い」モンスターはいる fact2: 「荒い」モンスターはいる fact3: もし仮に看過し難いモンスターがバリアフリー化するとするとあのぽなぽゆLv.37は荒くない fact4: 荒いしその上看過し難いモンスターはいる fact5: そのぷにょぷよLv.42は看過し難い fact6: そのぷにょぷよLv.42はバリアフリー化するし更にまどろっこしい fact7: もしもそのぷにょぷよLv.42はバリアフリー化するがしかしまどろっこしくらないとするとあのぽなぽゆLv.37はまどろっこしくらない ; $hypothesis$ = あのぽなぽゆLv.37は荒い ; $proof$ = 
fact6 -> int1: そのぷにょぷよLv.42はバリアフリー化する; fact5 & int1 -> int2: そのぷにょぷよLv.42は看過し難くてバリアフリー化する; int2 -> int3: 看過し難いモンスターであってバリアフリー化するモンスターはいる; int3 & fact3 -> hypothesis; __DISPROVED__
fact6 -> int1: {B}{a}; fact5 & int1 -> int2: ({A}{a} & {B}{a}); int2 -> int3: (Ex): ({A}x & {B}x); int3 & fact3 -> hypothesis; __DISPROVED__