あのぷいぷねLv.80は衰退するということはない
fact1: もしあのみえみちょLv.72は忠実忠実しいとすれば「あのぷいぷねLv.80は破るということはないがしかし訳無い」ということは偽だ fact2: もし仮にあのぷいぷねLv.80が破ればそれは衰退する fact3: あのみえみちょLv.72は忠実忠実しい fact4: もしも「あのぷいぷねLv.80は破らないけどそれは訳無い」ということは間違いであるならばあのぷいぷねLv.80は衰退する
fact1 & fact3 -> int1: 「「あのぷいぷねLv.80は破るということはないけれど訳無い」ということは本当だ」ということは成り立つということはない; int1 & fact4 -> hypothesis;
fact1 & fact3 -> int1: ¬(¬{AA}{b} & {AB}{b}); int1 & fact4 -> hypothesis;
$facts$ = fact1: もしあのみえみちょLv.72は忠実忠実しいとすれば「あのぷいぷねLv.80は破るということはないがしかし訳無い」ということは偽だ fact2: もし仮にあのぷいぷねLv.80が破ればそれは衰退する fact3: あのみえみちょLv.72は忠実忠実しい fact4: もしも「あのぷいぷねLv.80は破らないけどそれは訳無い」ということは間違いであるならばあのぷいぷねLv.80は衰退する ; $hypothesis$ = あのぷいぷねLv.80は衰退するということはない ; $proof$ = 
fact1 & fact3 -> int1: 「「あのぷいぷねLv.80は破るということはないけれど訳無い」ということは本当だ」ということは成り立つということはない; int1 & fact4 -> hypothesis; __DISPROVED__
fact1 & fact3 -> int1: ¬(¬{AA}{b} & {AB}{b}); int1 & fact4 -> hypothesis; __DISPROVED__