そのぽやぽよLv.19は起こし易くない
fact1: 「もしも「何らかのモンスターは御披露目しなくてさらにそれは悪しない」ということは間違いならそれはさり気無い」ということは事実である fact2: もしもあのみいみちゅLv.76は起こし易いならば「そのぽやぽよLv.19は起こし易い」ということは正しい fact3: もし仮にとあるモンスターがさり気無くないとするとそれは起こし易いしその上追い回す fact4: もしも何らかのモンスターが癒し難いなら判別し難い fact5: 仮にあのみいみちゅLv.76が判別し難いならそれは毒々しいけどさり気無くない fact6: 「そのまえまねLv.78は御披露目しなくて加えて悪しということはない」ということは間違っている fact7: そのまえまねLv.78は追い回す fact8: 仮になんらかのモンスターがさり気無いしそれは追い回すとすれば「そのぽやぽよLv.19は起こし易いということはない」ということは事実である fact9: もし「とあるモンスターは追い回さない」ということは成り立つとしたら「狭しないしその上極まり悪くない」ということは偽だ
fact1 -> int1: もし仮に「そのまえまねLv.78は御披露目しなくて悪しない」ということは誤っているとするとそのまえまねLv.78はさり気無い; int1 & fact6 -> int2: そのまえまねLv.78はさり気無い; int2 & fact7 -> int3: そのまえまねLv.78はさり気無くてさらにそれは追い回す; int3 -> int4: とあるモンスターはさり気無くて追い回す; int4 & fact8 -> hypothesis;
fact1 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact6 -> int2: {B}{aa}; int2 & fact7 -> int3: ({B}{aa} & {A}{aa}); int3 -> int4: (Ex): ({B}x & {A}x); int4 & fact8 -> hypothesis;
そのぽやぽよLv.19は起こし易い
fact10 -> int5: もしもあのみいみちゅLv.76がさり気無くないならそれは起こし易いしそれは追い回す; fact13 -> int6: もしもあのみいみちゅLv.76が癒し難いとすれば判別し難い;
$facts$ = fact1: 「もしも「何らかのモンスターは御披露目しなくてさらにそれは悪しない」ということは間違いならそれはさり気無い」ということは事実である fact2: もしもあのみいみちゅLv.76は起こし易いならば「そのぽやぽよLv.19は起こし易い」ということは正しい fact3: もし仮にとあるモンスターがさり気無くないとするとそれは起こし易いしその上追い回す fact4: もしも何らかのモンスターが癒し難いなら判別し難い fact5: 仮にあのみいみちゅLv.76が判別し難いならそれは毒々しいけどさり気無くない fact6: 「そのまえまねLv.78は御披露目しなくて加えて悪しということはない」ということは間違っている fact7: そのまえまねLv.78は追い回す fact8: 仮になんらかのモンスターがさり気無いしそれは追い回すとすれば「そのぽやぽよLv.19は起こし易いということはない」ということは事実である fact9: もし「とあるモンスターは追い回さない」ということは成り立つとしたら「狭しないしその上極まり悪くない」ということは偽だ ; $hypothesis$ = そのぽやぽよLv.19は起こし易くない ; $proof$ = 
fact1 -> int1: もし仮に「そのまえまねLv.78は御披露目しなくて悪しない」ということは誤っているとするとそのまえまねLv.78はさり気無い; int1 & fact6 -> int2: そのまえまねLv.78はさり気無い; int2 & fact7 -> int3: そのまえまねLv.78はさり気無くてさらにそれは追い回す; int3 -> int4: とあるモンスターはさり気無くて追い回す; int4 & fact8 -> hypothesis; __PROVED__
fact1 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact6 -> int2: {B}{aa}; int2 & fact7 -> int3: ({B}{aa} & {A}{aa}); int3 -> int4: (Ex): ({B}x & {A}x); int4 & fact8 -> hypothesis; __PROVED__