| Left Proof | Right Proof | Jaccard Similarity | ||||
|---|---|---|---|---|---|---|
| Leaves | { a & b, a, a ⇔ d, d ⇔ e, e ⇔ b } | { a & b, a, e ⇔ b, b } | 3/6 = 0.50 | |||
| Inferred | { ¬a|¬b, a, ¬a|d, ¬d|e, ¬e|b, d, e, b, false } | { ¬a|¬b, a, ¬e|b, ¬b|e, b, e, false } | 9/15 = 0.60 | |||
| Inferences | { 1,2,3,4,5,6,7,8,9 }
|
| { 1,2,5,8,9,10,11,12 }
|
| 5/12 = 0.42
| |