「あのぽにぽゆLv.40は無理無いししかも貴方らしい」ということは間違いだ
fact1: あのぽにぽゆLv.40は貴方らしい fact2: もし「そのぴにょぴちょLv.47は入庫するがしかし欲しいということはない」ということは嘘であるならあのぽにぽゆLv.40は移り難い fact3: あのぷわぷちょLv.63は反映され易くない fact4: 過不足無くないモンスターは反映され易いし移り難い fact5: あのぷわぷちょLv.63は反映され易くないとしたら「そのぴにょぴちょLv.47は入庫する一方でそれは欲しいということはない」ということは間違いである fact6: もしもあのぽにぽゆLv.40が移り難いとすればそれは無理無い
fact5 & fact3 -> int1: 「そのぴにょぴちょLv.47は入庫するけれど欲しくない」ということは誤っている; int1 & fact2 -> int2: あのぽにぽゆLv.40は移り難い; int2 & fact6 -> int3: あのぽにぽゆLv.40は無理無い; int3 & fact1 -> hypothesis;
fact5 & fact3 -> int1: ¬({AA}{b} & ¬{AB}{b}); int1 & fact2 -> int2: {B}{c}; int2 & fact6 -> int3: {C}{c}; int3 & fact1 -> hypothesis;
「あのぽにぽゆLv.40は無理無いししかも貴方らしい」ということは間違いだ
fact7 -> int4: あのぷわぷちょLv.63が過不足無いということはないとすればあのぷわぷちょLv.63は反映され易いし更にそれは移り難い;
$facts$ = fact1: あのぽにぽゆLv.40は貴方らしい fact2: もし「そのぴにょぴちょLv.47は入庫するがしかし欲しいということはない」ということは嘘であるならあのぽにぽゆLv.40は移り難い fact3: あのぷわぷちょLv.63は反映され易くない fact4: 過不足無くないモンスターは反映され易いし移り難い fact5: あのぷわぷちょLv.63は反映され易くないとしたら「そのぴにょぴちょLv.47は入庫する一方でそれは欲しいということはない」ということは間違いである fact6: もしもあのぽにぽゆLv.40が移り難いとすればそれは無理無い ; $hypothesis$ = 「あのぽにぽゆLv.40は無理無いししかも貴方らしい」ということは間違いだ ; $proof$ = 
fact5 & fact3 -> int1: 「そのぴにょぴちょLv.47は入庫するけれど欲しくない」ということは誤っている; int1 & fact2 -> int2: あのぽにぽゆLv.40は移り難い; int2 & fact6 -> int3: あのぽにぽゆLv.40は無理無い; int3 & fact1 -> hypothesis; __DISPROVED__
fact5 & fact3 -> int1: ¬({AA}{b} & ¬{AB}{b}); int1 & fact2 -> int2: {B}{c}; int2 & fact6 -> int3: {C}{c}; int3 & fact1 -> hypothesis; __DISPROVED__