Erin is smart. If something is round and not big then it is cold. All big things are not young. If something is rough and round then it is not red.
Erin is smart.
("Erin" "is" "smart" "+")
If something is round and not big then it is cold.
((("something" "is" "round" "+") ("something" "is" "big" "~")) -> ("something" "is" "cold" "+"))
All big things are not young.
((("something" "is" "big" "+")) -> ("something" "is" "young" "-"))
If something is rough and round then it is not red.
((("something" "is" "rough" "+") ("something" "is" "round" "+")) -> ("something" "is" "red" "-"))
Erin is smart.
True
1
proof
[(triple1)]
("Erin" "is" "smart" "+")
triple1
Erin is not smart.
False
1
inv-proof
[(triple1)]
("Erin" "is" "smart" "-")
triple1
Erin is not cold.
Unknown
inv-rconc
[@1: Erin is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "cold" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Erin is smart.[(triple1)]
Erin is smart.
("Erin" "is" "smart" "+")
triple1