Erin is cold. If something is furry and not young then it is cold. If something is quiet and not young then it is round.
Erin is cold.
("Erin" "is" "cold" "+")
If something is furry and not young then it is cold.
((("something" "is" "furry" "+") ("something" "is" "young" "~")) -> ("something" "is" "cold" "+"))
If something is quiet and not young then it is round.
((("something" "is" "quiet" "+") ("something" "is" "young" "~")) -> ("something" "is" "round" "+"))
Erin is cold.
True
1
proof
[(triple1)]
("Erin" "is" "cold" "+")
triple1
Erin is not cold.
False
1
inv-proof
[(triple1)]
("Erin" "is" "cold" "-")
triple1
Erin is not round.
Unknown
inv-rconc
[@1: Erin is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "round" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
@0: Erin is cold.[(triple1)]
Erin is cold.
("Erin" "is" "cold" "+")
triple1