Anne is cold. Erin is furry. If something is furry and not smart then it is big. If Erin is furry then Erin is kind.
Anne is cold.
("Anne" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
If something is furry and not smart then it is big.
((("something" "is" "furry" "+") ("something" "is" "smart" "~")) -> ("something" "is" "big" "+"))
If Erin is furry then Erin is kind.
((("Erin" "is" "furry" "+")) -> ("Erin" "is" "kind" "+"))
Anne is cold.
True
1
proof
[(triple1)]
("Anne" "is" "cold" "+")
triple1
Erin is not furry.
False
1
inv-proof
[(triple2)]
("Erin" "is" "furry" "-")
triple2
Anne is not big.
Unknown
inv-rconc
[@1: Anne is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "big" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
@0: Anne is cold.[(triple1)] Erin is furry.[(triple2)] @1: Erin is kind.[(((triple2) -> rule2))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Erin is kind.
("Erin" "is" "kind" "+")
((triple2) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1