あのまわまにょLv.74は出易くない
fact1: 「もし仮にあのみゆみよLv.62が最もらしくない一方で感応出来るとすればこのぷのぷちゅLv.65は最もらしくない」ということは正しい fact2: 仮に「そのぴにぴにゅLv.73は出易いか疲れ難いか両方ともである」ということは成り立つということはないならあのまわまにょLv.74は出易くない fact3: 暑いモンスターであって転訛しないモンスターは正しくない fact4: もしも「あのまわまにょLv.74は使い易いがそれは駆けずり回らない」ということは誤っているとすればそれは出易い fact5: 仮にこのぷのぷちゅLv.65が最もらしくないとすればそのぴにぴにゅLv.73は暑いけど転訛しない fact6: 「もし仮に「このぷのぷちゅLv.65は最もらしいしおまけにそれは転訛する」ということは誤っているならこのもよもえLv.84は感応出来ない」ということは真実である fact7: 仮にそのぴにぴにゅLv.73が疲れ難くないならあのみゆみよLv.62は暑くない fact8: 仮にあのみゆみよLv.62は暑くないとすれば「このぷのぷちゅLv.65は最もらしいし更に転訛する」ということは嘘である fact9: もしそのぴにぴにゅLv.73が正しいとしたらあのみゆみよLv.62は暑くない fact10: そのぴにぴにゅLv.73は正しいかあるいはそれは疲れ難くない fact11: もし仮にこのもよもえLv.84は感応出来ないとしたら「あのまわまにょLv.74は使い易いけど駆けずり回るということはない」ということは偽である
fact10 & fact9 & fact7 -> int1: あのみゆみよLv.62は暑くない; int1 & fact8 -> int2: 「このぷのぷちゅLv.65が最もらしいしその上それは転訛する」ということは成り立たない; int2 & fact6 -> int3: このもよもえLv.84は感応出来ない; int3 & fact11 -> int4: 「あのまわまにょLv.74は使い易いけれど駆けずり回らない」ということは誤りである; int4 & fact4 -> hypothesis;
fact10 & fact9 & fact7 -> int1: ¬{C}{c}; int1 & fact8 -> int2: ¬({E}{b} & {D}{b}); int2 & fact6 -> int3: ¬{F}{d}; int3 & fact11 -> int4: ¬({G}{e} & ¬{H}{e}); int4 & fact4 -> hypothesis;
あのまわまにょLv.74は出易くない
fact14 -> int5: もしもそのぴにぴにゅLv.73が暑いがしかし転訛しないとすると正しいということはない;
$facts$ = fact1: 「もし仮にあのみゆみよLv.62が最もらしくない一方で感応出来るとすればこのぷのぷちゅLv.65は最もらしくない」ということは正しい fact2: 仮に「そのぴにぴにゅLv.73は出易いか疲れ難いか両方ともである」ということは成り立つということはないならあのまわまにょLv.74は出易くない fact3: 暑いモンスターであって転訛しないモンスターは正しくない fact4: もしも「あのまわまにょLv.74は使い易いがそれは駆けずり回らない」ということは誤っているとすればそれは出易い fact5: 仮にこのぷのぷちゅLv.65が最もらしくないとすればそのぴにぴにゅLv.73は暑いけど転訛しない fact6: 「もし仮に「このぷのぷちゅLv.65は最もらしいしおまけにそれは転訛する」ということは誤っているならこのもよもえLv.84は感応出来ない」ということは真実である fact7: 仮にそのぴにぴにゅLv.73が疲れ難くないならあのみゆみよLv.62は暑くない fact8: 仮にあのみゆみよLv.62は暑くないとすれば「このぷのぷちゅLv.65は最もらしいし更に転訛する」ということは嘘である fact9: もしそのぴにぴにゅLv.73が正しいとしたらあのみゆみよLv.62は暑くない fact10: そのぴにぴにゅLv.73は正しいかあるいはそれは疲れ難くない fact11: もし仮にこのもよもえLv.84は感応出来ないとしたら「あのまわまにょLv.74は使い易いけど駆けずり回るということはない」ということは偽である ; $hypothesis$ = あのまわまにょLv.74は出易くない ; $proof$ = 
fact10 & fact9 & fact7 -> int1: あのみゆみよLv.62は暑くない; int1 & fact8 -> int2: 「このぷのぷちゅLv.65が最もらしいしその上それは転訛する」ということは成り立たない; int2 & fact6 -> int3: このもよもえLv.84は感応出来ない; int3 & fact11 -> int4: 「あのまわまにょLv.74は使い易いけれど駆けずり回らない」ということは誤りである; int4 & fact4 -> hypothesis; __DISPROVED__
fact10 & fact9 & fact7 -> int1: ¬{C}{c}; int1 & fact8 -> int2: ¬({E}{b} & {D}{b}); int2 & fact6 -> int3: ¬{F}{d}; int3 & fact11 -> int4: ¬({G}{e} & ¬{H}{e}); int4 & fact4 -> hypothesis; __DISPROVED__