あのみゆみなLv.25は自己規制しない
fact1: もしあのみゆみなLv.25はばれるとすると「忘れ難くないけれど共鳴し易い」ということは事実だ fact2: もし仮にあのみゆみなLv.25が合体するとするとあのみゆみなLv.25は共鳴し易くない fact3: そのみにみちゅLv.2はばれない fact4: このぽえぽにゃLv.33はばれる fact5: もし仮にあのもなもゆLv.69は共鳴し易いししかも真白いならば引っ張り合う fact6: もしあのみゆみなLv.25が忘れ難くないけれど共鳴し易いならあのみゆみなLv.25は自己規制する fact7: あのみゆみなLv.25は倹しい fact8: あのみゆみなLv.25がみっとも可愛いとするとあのみゆみなLv.25はばれる fact9: あのみゆみなLv.25はみっとも可愛い
fact8 & fact9 -> int1: あのみゆみなLv.25はばれる; int1 & fact1 -> int2: あのみゆみなLv.25は忘れ難いということはないがしかし共鳴し易い; int2 & fact6 -> hypothesis;
fact8 & fact9 -> int1: {B}{a}; int1 & fact1 -> int2: (¬{D}{a} & {C}{a}); int2 & fact6 -> hypothesis;
あのみゆみなLv.25は自己規制しない
fact10 -> int3: 「「ばれない」ということは成り立つ」モンスターはいる;
$facts$ = fact1: もしあのみゆみなLv.25はばれるとすると「忘れ難くないけれど共鳴し易い」ということは事実だ fact2: もし仮にあのみゆみなLv.25が合体するとするとあのみゆみなLv.25は共鳴し易くない fact3: そのみにみちゅLv.2はばれない fact4: このぽえぽにゃLv.33はばれる fact5: もし仮にあのもなもゆLv.69は共鳴し易いししかも真白いならば引っ張り合う fact6: もしあのみゆみなLv.25が忘れ難くないけれど共鳴し易いならあのみゆみなLv.25は自己規制する fact7: あのみゆみなLv.25は倹しい fact8: あのみゆみなLv.25がみっとも可愛いとするとあのみゆみなLv.25はばれる fact9: あのみゆみなLv.25はみっとも可愛い ; $hypothesis$ = あのみゆみなLv.25は自己規制しない ; $proof$ = 
fact8 & fact9 -> int1: あのみゆみなLv.25はばれる; int1 & fact1 -> int2: あのみゆみなLv.25は忘れ難いということはないがしかし共鳴し易い; int2 & fact6 -> hypothesis; __DISPROVED__
fact8 & fact9 -> int1: {B}{a}; int1 & fact1 -> int2: (¬{D}{a} & {C}{a}); int2 & fact6 -> hypothesis; __DISPROVED__