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