「あのもわもねLv.46は取り辛いしそれにばあかしい」ということは成り立たない
fact1: あのもわもねLv.46は取り辛い fact2: 仮にこのみいみにゅLv.28が守り易いとするとあのもわもねLv.46は待ち遠しい fact3: 仮にこのみいみにゅLv.28が取り辛いとすればあのもわもねLv.46は守り易い fact4: 仮にこのみいみにゅLv.28は容易いとすれば「あのもわもねLv.46は待ち遠しい」ということは本当である fact5: もしもこのみいみにゅLv.28がばあかしいならあのぽえぽのLv.41はばあかしい fact6: 「なんらかのモンスターは待ち遠しくないしおまけに守り易くない」ということは成り立たないならばそれは容易くない fact7: このみいみにゅLv.28は容易いかまたは守り易い fact8: もしあのもわもねLv.46が待ち遠しいとしたらあのもわもねLv.46はばあかしい
fact7 & fact4 & fact2 -> int1: あのもわもねLv.46は待ち遠しい; int1 & fact8 -> int2: あのもわもねLv.46はばあかしい; int2 & fact1 -> hypothesis;
fact7 & fact4 & fact2 -> int1: {C}{c}; int1 & fact8 -> int2: {D}{c}; int2 & fact1 -> hypothesis;
あのぽえぽのLv.41はばあかしい
$facts$ = fact1: あのもわもねLv.46は取り辛い fact2: 仮にこのみいみにゅLv.28が守り易いとするとあのもわもねLv.46は待ち遠しい fact3: 仮にこのみいみにゅLv.28が取り辛いとすればあのもわもねLv.46は守り易い fact4: 仮にこのみいみにゅLv.28は容易いとすれば「あのもわもねLv.46は待ち遠しい」ということは本当である fact5: もしもこのみいみにゅLv.28がばあかしいならあのぽえぽのLv.41はばあかしい fact6: 「なんらかのモンスターは待ち遠しくないしおまけに守り易くない」ということは成り立たないならばそれは容易くない fact7: このみいみにゅLv.28は容易いかまたは守り易い fact8: もしあのもわもねLv.46が待ち遠しいとしたらあのもわもねLv.46はばあかしい ; $hypothesis$ = 「あのもわもねLv.46は取り辛いしそれにばあかしい」ということは成り立たない ; $proof$ = 
fact7 & fact4 & fact2 -> int1: あのもわもねLv.46は待ち遠しい; int1 & fact8 -> int2: あのもわもねLv.46はばあかしい; int2 & fact1 -> hypothesis; __DISPROVED__
fact7 & fact4 & fact2 -> int1: {C}{c}; int1 & fact8 -> int2: {D}{c}; int2 & fact1 -> hypothesis; __DISPROVED__