「あのまいまなLv.19は女っぽくないしまた誇りっぽくない」ということは成り立たない
fact1: そのみいみよLv.25は維持・向上するか華々しいかもしくはどちらもだ fact2: そのみいみよLv.25は維持・向上するかそれは華々しくない fact3: もし仮にそのみいみよLv.25が華々しくないとするとそれは飛来しない fact4: あのまいまなLv.19が引き起こし易いかまたは入れ難いということはないかあるいは両方ともだとするとそれは吹かし始めない fact5: 仮にあのまいまなLv.19が誇りっぽいかまたは飛来しないかあるいはどちらもだとすればあのまいまなLv.19は維持・向上しない fact6: もしもそのみいみよLv.25が飛来するということはないならばあのまいまなLv.19は女っぽいということはない fact7: もしもそのみいみよLv.25が維持・向上するかもしくは華々しくないかまたは両方ともであるならそのみいみよLv.25は飛来しない fact8: あのまいまなLv.19は誇りっぽくない
fact7 & fact2 -> int1: そのみいみよLv.25は飛来しない; int1 & fact6 -> int2: あのまいまなLv.19は女っぽくない; int2 & fact8 -> hypothesis;
fact7 & fact2 -> int1: ¬{B}{a}; int1 & fact6 -> int2: ¬{A}{b}; int2 & fact8 -> hypothesis;
$facts$ = fact1: そのみいみよLv.25は維持・向上するか華々しいかもしくはどちらもだ fact2: そのみいみよLv.25は維持・向上するかそれは華々しくない fact3: もし仮にそのみいみよLv.25が華々しくないとするとそれは飛来しない fact4: あのまいまなLv.19が引き起こし易いかまたは入れ難いということはないかあるいは両方ともだとするとそれは吹かし始めない fact5: 仮にあのまいまなLv.19が誇りっぽいかまたは飛来しないかあるいはどちらもだとすればあのまいまなLv.19は維持・向上しない fact6: もしもそのみいみよLv.25が飛来するということはないならばあのまいまなLv.19は女っぽいということはない fact7: もしもそのみいみよLv.25が維持・向上するかもしくは華々しくないかまたは両方ともであるならそのみいみよLv.25は飛来しない fact8: あのまいまなLv.19は誇りっぽくない ; $hypothesis$ = 「あのまいまなLv.19は女っぽくないしまた誇りっぽくない」ということは成り立たない ; $proof$ = 
fact7 & fact2 -> int1: そのみいみよLv.25は飛来しない; int1 & fact6 -> int2: あのまいまなLv.19は女っぽくない; int2 & fact8 -> hypothesis; __DISPROVED__
fact7 & fact2 -> int1: ¬{B}{a}; int1 & fact6 -> int2: ¬{A}{b}; int2 & fact8 -> hypothesis; __DISPROVED__