Bob is cold. Erin is kind. Gary is kind. All nice things are not cold. If something is nice and not kind then it is quiet. If Bob is not cold and Bob is not quiet then Bob is young.
Bob is cold.
("Bob" "is" "cold" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Gary is kind.
("Gary" "is" "kind" "+")
All nice things are not cold.
((("something" "is" "nice" "+")) -> ("something" "is" "cold" "-"))
If something is nice and not kind then it is quiet.
((("something" "is" "nice" "+") ("something" "is" "kind" "~")) -> ("something" "is" "quiet" "+"))
If Bob is not cold and Bob is not quiet then Bob is young.
((("Bob" "is" "cold" "~") ("Bob" "is" "quiet" "~")) -> ("Bob" "is" "young" "+"))
Gary is kind.
True
1
proof
[(triple3)]
("Gary" "is" "kind" "+")
triple3
Gary is not kind.
False
1
inv-proof
[(triple3)]
("Gary" "is" "kind" "-")
triple3
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "young" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Bob is cold.[(triple1)] Erin is kind.[(triple2)] Gary is kind.[(triple3)]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Erin is kind.
("Erin" "is" "kind" "+")
triple2
Gary is kind.
("Gary" "is" "kind" "+")
triple3