このぷのぷにゅLv.19はし難くない
fact1: 仮にこのぷのぷにゅLv.19が読み辛いけれど期待し難いということはないならあのぴちょぴにょLv.92は読み辛くない fact2: あのぴちょぴにょLv.92は貸し倒れるし更に合い難い fact3: 仮にこのぷのぷにゅLv.19は期待し難いか読み辛いかどちらもであるならば「し難くない」ということは事実だ fact4: あのぴちょぴにょLv.92が貸し倒れるならこのぷのぷにゅLv.19は期待し難い
fact2 -> int1: あのぴちょぴにょLv.92は貸し倒れる; fact4 & int1 -> int2: 「このぷのぷにゅLv.19は期待し難い」ということは成り立つ; int2 -> int3: このぷのぷにゅLv.19は期待し難いかあるいは読み辛いかあるいは両方ともだ; int3 & fact3 -> hypothesis;
fact2 -> int1: {A}{a}; fact4 & int1 -> int2: {B}{b}; int2 -> int3: ({B}{b} v {C}{b}); int3 & fact3 -> hypothesis;
あのぴちょぴにょLv.92は読み辛いということはない
$facts$ = fact1: 仮にこのぷのぷにゅLv.19が読み辛いけれど期待し難いということはないならあのぴちょぴにょLv.92は読み辛くない fact2: あのぴちょぴにょLv.92は貸し倒れるし更に合い難い fact3: 仮にこのぷのぷにゅLv.19は期待し難いか読み辛いかどちらもであるならば「し難くない」ということは事実だ fact4: あのぴちょぴにょLv.92が貸し倒れるならこのぷのぷにゅLv.19は期待し難い ; $hypothesis$ = このぷのぷにゅLv.19はし難くない ; $proof$ = 
fact2 -> int1: あのぴちょぴにょLv.92は貸し倒れる; fact4 & int1 -> int2: 「このぷのぷにゅLv.19は期待し難い」ということは成り立つ; int2 -> int3: このぷのぷにゅLv.19は期待し難いかあるいは読み辛いかあるいは両方ともだ; int3 & fact3 -> hypothesis; __PROVED__
fact2 -> int1: {A}{a}; fact4 & int1 -> int2: {B}{b}; int2 -> int3: ({B}{b} v {C}{b}); int3 & fact3 -> hypothesis; __PROVED__