「そのぷちゅぷのLv.27は重ね合うということはないがちっちゃい」ということは成り立たない
fact1: あのぴにゅぴちゃLv.55はアプローチし易い fact2: そのぷちゅぷのLv.27はちっちゃい fact3: 仮にそのぷちゅぷのLv.27が間違えないならばそのぷちゅぷのLv.27はちっちゃい fact4: もしそのぷちゅぷのLv.27が間違えないとするとそのぷちゅぷのLv.27は重ね合わないがちっちゃい fact5: 「あのぴにゅぴちゃLv.55は平ったいしそれはアプローチし易い」ということは事実と異ならないならそのぷちゅぷのLv.27は間違えない fact6: あのぴにゅぴちゃLv.55は平ったい fact7: もしあのぴのぴゆLv.91がアプローチし易くないとするとあのぴにゅぴちゃLv.55は平ったくない
fact6 & fact1 -> int1: あのぴにゅぴちゃLv.55は平ったいし加えてアプローチし易い; int1 & fact5 -> int2: そのぷちゅぷのLv.27は間違えない; int2 & fact4 -> hypothesis;
fact6 & fact1 -> int1: ({A}{a} & {B}{a}); int1 & fact5 -> int2: ¬{C}{b}; int2 & fact4 -> hypothesis;
「そのぷちゅぷのLv.27は重ね合うということはないがちっちゃい」ということは成り立たない
$facts$ = fact1: あのぴにゅぴちゃLv.55はアプローチし易い fact2: そのぷちゅぷのLv.27はちっちゃい fact3: 仮にそのぷちゅぷのLv.27が間違えないならばそのぷちゅぷのLv.27はちっちゃい fact4: もしそのぷちゅぷのLv.27が間違えないとするとそのぷちゅぷのLv.27は重ね合わないがちっちゃい fact5: 「あのぴにゅぴちゃLv.55は平ったいしそれはアプローチし易い」ということは事実と異ならないならそのぷちゅぷのLv.27は間違えない fact6: あのぴにゅぴちゃLv.55は平ったい fact7: もしあのぴのぴゆLv.91がアプローチし易くないとするとあのぴにゅぴちゃLv.55は平ったくない ; $hypothesis$ = 「そのぷちゅぷのLv.27は重ね合うということはないがちっちゃい」ということは成り立たない ; $proof$ = 
fact6 & fact1 -> int1: あのぴにゅぴちゃLv.55は平ったいし加えてアプローチし易い; int1 & fact5 -> int2: そのぷちゅぷのLv.27は間違えない; int2 & fact4 -> hypothesis; __DISPROVED__
fact6 & fact1 -> int1: ({A}{a} & {B}{a}); int1 & fact5 -> int2: ¬{C}{b}; int2 & fact4 -> hypothesis; __DISPROVED__