「「狙い打ちするしその上顧慮する」モンスターはいる」ということは真実でない
fact1: あのまゆまにゅLv.4は分厚くてそれは力強い fact2: 「「狙い打ちする」ということは正しい」モンスターはいる fact3: もしもあのみちゃみにゅLv.97は展開し易いとしたら「このぷやぷわLv.12は狙い打ちする」ということは成り立つ fact4: あのまゆまにゅLv.4は力強い fact5: このぷやぷわLv.12は顧慮する fact6: 「「顧慮する」ということは本当な」モンスターはいる fact7: もし仮にあるモンスターは展開し易くないとしたらそれは分厚いしまた力強い fact8: もしあのまゆまにゅLv.4が分厚いならあのみちゃみにゅLv.97は展開し易い fact9: あのものもにょLv.28は其れっぽくて顧慮する
fact1 -> int1: 「あのまゆまにゅLv.4は分厚い」ということは誤りでない; int1 & fact8 -> int2: あのみちゃみにゅLv.97は展開し易い; int2 & fact3 -> int3: このぷやぷわLv.12は狙い打ちする; int3 & fact5 -> int4: このぷやぷわLv.12は狙い打ちするしかつそれは顧慮する; int4 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact8 -> int2: {C}{b}; int2 & fact3 -> int3: {D}{c}; int3 & fact5 -> int4: ({D}{c} & {E}{c}); int4 -> hypothesis;
このぷやぷわLv.12は力強い
fact10 -> int5: このぷやぷわLv.12が展開し易くないとすればこのぷやぷわLv.12は分厚いし力強い;
$facts$ = fact1: あのまゆまにゅLv.4は分厚くてそれは力強い fact2: 「「狙い打ちする」ということは正しい」モンスターはいる fact3: もしもあのみちゃみにゅLv.97は展開し易いとしたら「このぷやぷわLv.12は狙い打ちする」ということは成り立つ fact4: あのまゆまにゅLv.4は力強い fact5: このぷやぷわLv.12は顧慮する fact6: 「「顧慮する」ということは本当な」モンスターはいる fact7: もし仮にあるモンスターは展開し易くないとしたらそれは分厚いしまた力強い fact8: もしあのまゆまにゅLv.4が分厚いならあのみちゃみにゅLv.97は展開し易い fact9: あのものもにょLv.28は其れっぽくて顧慮する ; $hypothesis$ = 「「狙い打ちするしその上顧慮する」モンスターはいる」ということは真実でない ; $proof$ = 
fact1 -> int1: 「あのまゆまにゅLv.4は分厚い」ということは誤りでない; int1 & fact8 -> int2: あのみちゃみにゅLv.97は展開し易い; int2 & fact3 -> int3: このぷやぷわLv.12は狙い打ちする; int3 & fact5 -> int4: このぷやぷわLv.12は狙い打ちするしかつそれは顧慮する; int4 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{a}; int1 & fact8 -> int2: {C}{b}; int2 & fact3 -> int3: {D}{c}; int3 & fact5 -> int4: ({D}{c} & {E}{c}); int4 -> hypothesis; __DISPROVED__