「そのぴえぴよLv.93は底深くない」ということは誤りでない
fact1: もし仮にそのぴえぴよLv.93がどす黒いならばこのぽのぽいLv.38は底深いということはない一方で揮発し易い fact2: 仮に「そのぴえぴよLv.93はどす黒い」ということは成り立つなら「底深い」ということは成り立つ fact3: 「このぽのぽいLv.38は揮発し易い」ということは成り立つ fact4: このぽのぽいLv.38が揮発し易いとしたらこのみのみよLv.37は残り難い fact5: そのぴえぴよLv.93が剥がれ易いならばそれはどす黒い fact6: もしもこのみのみよLv.37が疚しくない一方でそれが残り難いならそのぴえぴよLv.93は剥がれ易い fact7: もしこのぽのぽいLv.38が揮発し易いとしたらこのみのみよLv.37は疚しくないがしかし残り難い
fact7 & fact3 -> int1: このみのみよLv.37は疚しくない一方で残り難い; int1 & fact6 -> int2: そのぴえぴよLv.93は剥がれ易い; int2 & fact5 -> int3: そのぴえぴよLv.93はどす黒い; int3 & fact2 -> hypothesis;
fact7 & fact3 -> int1: (¬{AA}{b} & {AB}{b}); int1 & fact6 -> int2: {B}{c}; int2 & fact5 -> int3: {C}{c}; int3 & fact2 -> hypothesis;
$facts$ = fact1: もし仮にそのぴえぴよLv.93がどす黒いならばこのぽのぽいLv.38は底深いということはない一方で揮発し易い fact2: 仮に「そのぴえぴよLv.93はどす黒い」ということは成り立つなら「底深い」ということは成り立つ fact3: 「このぽのぽいLv.38は揮発し易い」ということは成り立つ fact4: このぽのぽいLv.38が揮発し易いとしたらこのみのみよLv.37は残り難い fact5: そのぴえぴよLv.93が剥がれ易いならばそれはどす黒い fact6: もしもこのみのみよLv.37が疚しくない一方でそれが残り難いならそのぴえぴよLv.93は剥がれ易い fact7: もしこのぽのぽいLv.38が揮発し易いとしたらこのみのみよLv.37は疚しくないがしかし残り難い ; $hypothesis$ = 「そのぴえぴよLv.93は底深くない」ということは誤りでない ; $proof$ = 
fact7 & fact3 -> int1: このみのみよLv.37は疚しくない一方で残り難い; int1 & fact6 -> int2: そのぴえぴよLv.93は剥がれ易い; int2 & fact5 -> int3: そのぴえぴよLv.93はどす黒い; int3 & fact2 -> hypothesis; __DISPROVED__
fact7 & fact3 -> int1: (¬{AA}{b} & {AB}{b}); int1 & fact6 -> int2: {B}{c}; int2 & fact5 -> int3: {C}{c}; int3 & fact2 -> hypothesis; __DISPROVED__