そのぷえぷにょLv.51は低し
fact1: 情けないモンスターは低し一方で来辛くない fact2: もし「あのまにまやLv.46は来辛い」ということは成り立つとするとそのぷえぷにょLv.51は甲高い fact3: もしもあのまにまやLv.46は情けないかあるいは低しなら甲高くない fact4: もしもそのぷえぷにょLv.51は甲高いか堆いとしたらそれは低しない fact5: もし仮にそのぷえぷにょLv.51が来辛いとするとあのまにまやLv.46は低し fact6: もしあのまにまやLv.46が情けないならばそのぷえぷにょLv.51は甲高い fact7: あのまにまやLv.46は来辛いかあるいは情けないかまたは両方ともだ
fact7 & fact2 & fact6 -> int1: 「そのぷえぷにょLv.51は甲高い」ということは真実である; int1 -> int2: そのぷえぷにょLv.51は甲高いかまたは堆いかあるいは両方だ; int2 & fact4 -> hypothesis;
fact7 & fact2 & fact6 -> int1: {C}{c}; int1 -> int2: ({C}{c} v {D}{c}); int2 & fact4 -> hypothesis;
そのぷえぷにょLv.51は低し
fact8 -> int3: もしそのぷえぷにょLv.51が情けないとすればそれは低ししおまけにそれは来辛くない;
$facts$ = fact1: 情けないモンスターは低し一方で来辛くない fact2: もし「あのまにまやLv.46は来辛い」ということは成り立つとするとそのぷえぷにょLv.51は甲高い fact3: もしもあのまにまやLv.46は情けないかあるいは低しなら甲高くない fact4: もしもそのぷえぷにょLv.51は甲高いか堆いとしたらそれは低しない fact5: もし仮にそのぷえぷにょLv.51が来辛いとするとあのまにまやLv.46は低し fact6: もしあのまにまやLv.46が情けないならばそのぷえぷにょLv.51は甲高い fact7: あのまにまやLv.46は来辛いかあるいは情けないかまたは両方ともだ ; $hypothesis$ = そのぷえぷにょLv.51は低し ; $proof$ = 
fact7 & fact2 & fact6 -> int1: 「そのぷえぷにょLv.51は甲高い」ということは真実である; int1 -> int2: そのぷえぷにょLv.51は甲高いかまたは堆いかあるいは両方だ; int2 & fact4 -> hypothesis; __DISPROVED__
fact7 & fact2 & fact6 -> int1: {C}{c}; int1 -> int2: ({C}{c} v {D}{c}); int2 & fact4 -> hypothesis; __DISPROVED__