あのまにゅまねLv.98は惨いということはない
fact1: もしあのまにゅまねLv.98が疑わしとするとがめつい fact2: もし仮に「あのまにゅまねLv.98はがめつい」ということは本当だとすると惨い fact3: 「疑わし」モンスターはいる fact4: 仮に「疑わし」モンスターがいるならあのまにゅまねLv.98は疑わししそれにアメリカらしい
fact3 & fact4 -> int1: あのまにゅまねLv.98は疑わししアメリカらしい; int1 -> int2: 「「あのまにゅまねLv.98は疑わしない」ということは成り立たない」ということは成り立つ; int2 & fact1 -> int3: あのまにゅまねLv.98はがめつい; int3 & fact2 -> hypothesis;
fact3 & fact4 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {A}{a}; int2 & fact1 -> int3: {C}{a}; int3 & fact2 -> hypothesis;
$facts$ = fact1: もしあのまにゅまねLv.98が疑わしとするとがめつい fact2: もし仮に「あのまにゅまねLv.98はがめつい」ということは本当だとすると惨い fact3: 「疑わし」モンスターはいる fact4: 仮に「疑わし」モンスターがいるならあのまにゅまねLv.98は疑わししそれにアメリカらしい ; $hypothesis$ = あのまにゅまねLv.98は惨いということはない ; $proof$ = 
fact3 & fact4 -> int1: あのまにゅまねLv.98は疑わししアメリカらしい; int1 -> int2: 「「あのまにゅまねLv.98は疑わしない」ということは成り立たない」ということは成り立つ; int2 & fact1 -> int3: あのまにゅまねLv.98はがめつい; int3 & fact2 -> hypothesis; __DISPROVED__
fact3 & fact4 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {A}{a}; int2 & fact1 -> int3: {C}{a}; int3 & fact2 -> hypothesis; __DISPROVED__