Anne is furry. Bob is cold. Dave is kind. Fiona is not cold. If Dave is big then Dave is kind. If someone is big and not nice then they are cold.
Anne is furry.
("Anne" "is" "furry" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Fiona is not cold.
("Fiona" "is" "cold" "-")
If Dave is big then Dave is kind.
((("Dave" "is" "big" "+")) -> ("Dave" "is" "kind" "+"))
If someone is big and not nice then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "cold" "+"))
Bob is cold.
True
1
proof
[(triple2)]
("Bob" "is" "cold" "+")
triple2
Anne is not furry.
False
1
inv-proof
[(triple1)]
("Anne" "is" "furry" "-")
triple1
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "cold" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Anne is furry.[(triple1)] Bob is cold.[(triple2)] Dave is kind.[(triple3)] Fiona is not cold.[(triple4)]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Dave is kind.
("Dave" "is" "kind" "+")
triple3
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple4