「あのまにゅまにLv.78は打ち捲らない」ということは誤っている
fact1: このぷゆぷねLv.4はコントロールし易い fact2: もしこのぷゆぷねLv.4がコントロールし易くてさらに交わし合うとすればあのまにゅまにLv.78は打ち捲らない fact3: 「とあるモンスターは堪り易い」ということは真実ならば打ち捲る fact4: 「このぷゆぷねLv.4は堪り易い」ということは事実だとすれば「このぷゆぷねLv.4は交わし合う」ということは成り立つ fact5: このぷゆぷねLv.4は堪り易い
fact4 & fact5 -> int1: このぷゆぷねLv.4は交わし合う; int1 & fact1 -> int2: このぷゆぷねLv.4がコントロールし易いしその上それは交わし合う; int2 & fact2 -> hypothesis;
fact4 & fact5 -> int1: {B}{a}; int1 & fact1 -> int2: ({C}{a} & {B}{a}); int2 & fact2 -> hypothesis;
「あのまにゅまにLv.78は打ち捲らない」ということは誤っている
fact6 -> int3: もしも「あのまにゅまにLv.78は堪り易い」ということは嘘でないとしたら打ち捲る;
$facts$ = fact1: このぷゆぷねLv.4はコントロールし易い fact2: もしこのぷゆぷねLv.4がコントロールし易くてさらに交わし合うとすればあのまにゅまにLv.78は打ち捲らない fact3: 「とあるモンスターは堪り易い」ということは真実ならば打ち捲る fact4: 「このぷゆぷねLv.4は堪り易い」ということは事実だとすれば「このぷゆぷねLv.4は交わし合う」ということは成り立つ fact5: このぷゆぷねLv.4は堪り易い ; $hypothesis$ = 「あのまにゅまにLv.78は打ち捲らない」ということは誤っている ; $proof$ = 
fact4 & fact5 -> int1: このぷゆぷねLv.4は交わし合う; int1 & fact1 -> int2: このぷゆぷねLv.4がコントロールし易いしその上それは交わし合う; int2 & fact2 -> hypothesis; __DISPROVED__
fact4 & fact5 -> int1: {B}{a}; int1 & fact1 -> int2: ({C}{a} & {B}{a}); int2 & fact2 -> hypothesis; __DISPROVED__