このまくまやLv.70は開園するかあるいは集まり易いかもしくは両方だ
fact1: 「そのもにもちゃLv.52は受け入れ難いけどそれは拍動するということはない」ということは成り立たない fact2: もしもこのみちゃみゆLv.39が拍動すればそれは遅し fact3: 「そのもにもちゃLv.52は受け入れ難くて拍動する」ということは事実でない fact4: 仮に何らかのモンスターが疼かないとすればそれは聞き取り難いし更にどうしても欲しい fact5: そのもにもちゃLv.52は喋り難い fact6: もし仮にそのぴゆぴにゃLv.78がどうしても欲しいとするとこのまくまやLv.70は集まり易い fact7: あのぷえぷいLv.73が疼くならそのぴゆぴにゃLv.78は聞き取り難い fact8: そのもにもちゃLv.52が拍動するとすればあのぷえぷいLv.73は疼く fact9: もしそのぴゆぴにゃLv.78が聞き取り難いならばそのぴゆぴにゃLv.78はどうしても欲しい fact10: もし仮に「そのもにもちゃLv.52は受け入れ難いがしかし拍動しない」ということは事実と異なればあのぷえぷいLv.73は疼く
fact10 & fact1 -> int1: あのぷえぷいLv.73は疼く; int1 & fact7 -> int2: そのぴゆぴにゃLv.78は聞き取り難い; int2 & fact9 -> int3: そのぴゆぴにゃLv.78はどうしても欲しい; int3 & fact6 -> int4: このまくまやLv.70は集まり易い; int4 -> hypothesis;
fact10 & fact1 -> int1: {B}{b}; int1 & fact7 -> int2: {A}{c}; int2 & fact9 -> int3: {C}{c}; int3 & fact6 -> int4: {D}{d}; int4 -> hypothesis;
あのぽなぽよLv.14はどうしても欲しい
fact11 -> int5: もしあのぽなぽよLv.14が疼かないとすれば聞き取り難いしそれにどうしても欲しい;
$facts$ = fact1: 「そのもにもちゃLv.52は受け入れ難いけどそれは拍動するということはない」ということは成り立たない fact2: もしもこのみちゃみゆLv.39が拍動すればそれは遅し fact3: 「そのもにもちゃLv.52は受け入れ難くて拍動する」ということは事実でない fact4: 仮に何らかのモンスターが疼かないとすればそれは聞き取り難いし更にどうしても欲しい fact5: そのもにもちゃLv.52は喋り難い fact6: もし仮にそのぴゆぴにゃLv.78がどうしても欲しいとするとこのまくまやLv.70は集まり易い fact7: あのぷえぷいLv.73が疼くならそのぴゆぴにゃLv.78は聞き取り難い fact8: そのもにもちゃLv.52が拍動するとすればあのぷえぷいLv.73は疼く fact9: もしそのぴゆぴにゃLv.78が聞き取り難いならばそのぴゆぴにゃLv.78はどうしても欲しい fact10: もし仮に「そのもにもちゃLv.52は受け入れ難いがしかし拍動しない」ということは事実と異なればあのぷえぷいLv.73は疼く ; $hypothesis$ = このまくまやLv.70は開園するかあるいは集まり易いかもしくは両方だ ; $proof$ = 
fact10 & fact1 -> int1: あのぷえぷいLv.73は疼く; int1 & fact7 -> int2: そのぴゆぴにゃLv.78は聞き取り難い; int2 & fact9 -> int3: そのぴゆぴにゃLv.78はどうしても欲しい; int3 & fact6 -> int4: このまくまやLv.70は集まり易い; int4 -> hypothesis; __PROVED__
fact10 & fact1 -> int1: {B}{b}; int1 & fact7 -> int2: {A}{c}; int2 & fact9 -> int3: {C}{c}; int3 & fact6 -> int4: {D}{d}; int4 -> hypothesis; __PROVED__