あのみちゃみなLv.49はきつい
fact1: 仮に山深くないモンスターが読破しないなら切れ易い fact2: 何らかのモンスターは纏まり易くないとすると「それは覚え難いししかも暫くする」ということは間違いである fact3: あのみちゃみなLv.49は山深くないしそれに読破するということはない fact4: もしもあのみちゃみなLv.49が切れ易いしその上だだっ広いとするとあのみちゃみなLv.49はきついということはない fact5: もし仮に「このみにゃみちょLv.11はランクインするしまたなあい」ということは嘘であるとしたらあのみちゃみなLv.49は纏まり易くない fact6: あのみちゃみなLv.49はだだっ広い fact7: 切れ易くないモンスターはだだっ広いしそれにきつい fact8: もし「とあるモンスターは覚え難いし暫くする」ということは間違いだとすれば切れ易くない fact9: 仮にこのみにゃみちょLv.11はすっごーくないならば「それはランクインするし更にそれはなあい」ということは間違っている
fact1 -> int1: あのみちゃみなLv.49は山深くなくてしかも読破しないとしたら切れ易い; int1 & fact3 -> int2: あのみちゃみなLv.49は切れ易い; int2 & fact6 -> int3: あのみちゃみなLv.49は切れ易いしだだっ広い; int3 & fact4 -> hypothesis;
fact1 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact3 -> int2: {B}{aa}; int2 & fact6 -> int3: ({B}{aa} & {A}{aa}); int3 & fact4 -> hypothesis;
あのみちゃみなLv.49はきつい
fact12 -> int4: もし仮にあのみちゃみなLv.49が切れ易くないならそれはだだっ広いし加えてきつい; fact10 -> int5: 「あのみちゃみなLv.49は覚え難くておまけにそれは暫くする」ということは成り立たないとしたら切れ易くない; fact11 -> int6: あのみちゃみなLv.49は纏まり易くないとしたら「それは覚え難くておまけに暫くする」ということは事実と異なる;
$facts$ = fact1: 仮に山深くないモンスターが読破しないなら切れ易い fact2: 何らかのモンスターは纏まり易くないとすると「それは覚え難いししかも暫くする」ということは間違いである fact3: あのみちゃみなLv.49は山深くないしそれに読破するということはない fact4: もしもあのみちゃみなLv.49が切れ易いしその上だだっ広いとするとあのみちゃみなLv.49はきついということはない fact5: もし仮に「このみにゃみちょLv.11はランクインするしまたなあい」ということは嘘であるとしたらあのみちゃみなLv.49は纏まり易くない fact6: あのみちゃみなLv.49はだだっ広い fact7: 切れ易くないモンスターはだだっ広いしそれにきつい fact8: もし「とあるモンスターは覚え難いし暫くする」ということは間違いだとすれば切れ易くない fact9: 仮にこのみにゃみちょLv.11はすっごーくないならば「それはランクインするし更にそれはなあい」ということは間違っている ; $hypothesis$ = あのみちゃみなLv.49はきつい ; $proof$ = 
fact1 -> int1: あのみちゃみなLv.49は山深くなくてしかも読破しないとしたら切れ易い; int1 & fact3 -> int2: あのみちゃみなLv.49は切れ易い; int2 & fact6 -> int3: あのみちゃみなLv.49は切れ易いしだだっ広い; int3 & fact4 -> hypothesis; __DISPROVED__
fact1 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact3 -> int2: {B}{aa}; int2 & fact6 -> int3: ({B}{aa} & {A}{aa}); int3 & fact4 -> hypothesis; __DISPROVED__