Erin is not smart. If Erin is white then Erin is young. If Erin is young and Erin is rough then Erin is not furry.
Erin is not smart.
("Erin" "is" "smart" "-")
If Erin is white then Erin is young.
((("Erin" "is" "white" "+")) -> ("Erin" "is" "young" "+"))
If Erin is young and Erin is rough then Erin is not furry.
((("Erin" "is" "young" "+") ("Erin" "is" "rough" "+")) -> ("Erin" "is" "furry" "-"))
Erin is not smart.
True
1
proof
[(triple1)]
("Erin" "is" "smart" "-")
triple1
Erin is smart.
False
1
inv-proof
[(triple1)]
("Erin" "is" "smart" "+")
triple1
Erin is not young.
Unknown
inv-rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "young" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
@0: Erin is not smart.[(triple1)]
Erin is not smart.
("Erin" "is" "smart" "-")
triple1