Bob is not blue. Bob is not green. Bob is quiet. Erin is cold. Erin is nice. Erin is not quiet. Erin is young. Gary is not cold. Gary is kind. Gary is young. If someone is young and not green then they are blue.
Bob is not blue.
("Bob" "is" "blue" "-")
Bob is not green.
("Bob" "is" "green" "-")
Bob is quiet.
("Bob" "is" "quiet" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is not quiet.
("Erin" "is" "quiet" "-")
Erin is young.
("Erin" "is" "young" "+")
Gary is not cold.
("Gary" "is" "cold" "-")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is young and not green then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "blue" "+"))
Erin is cold.
True
1
proof
[(triple4)]
("Erin" "is" "cold" "+")
triple4
Gary is not young.
False
1
inv-proof
[(triple10)]
("Gary" "is" "young" "-")
triple10
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "blue" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Bob is not blue.[(triple1)] Bob is not green.[(triple2)] Bob is quiet.[(triple3)] Erin is cold.[(triple4)] Erin is nice.[(triple5)] Erin is not quiet.[(triple6)] Erin is young.[(triple7)] Gary is kind.[(triple9)] Gary is not cold.[(triple8)] Gary is young.[(triple10)]
Bob is not blue.
("Bob" "is" "blue" "-")
triple1
Bob is not green.
("Bob" "is" "green" "-")
triple2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
Erin is cold.
("Erin" "is" "cold" "+")
triple4
Erin is nice.
("Erin" "is" "nice" "+")
triple5
Erin is not quiet.
("Erin" "is" "quiet" "-")
triple6
Erin is young.
("Erin" "is" "young" "+")
triple7
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is not cold.
("Gary" "is" "cold" "-")
triple8
Gary is young.
("Gary" "is" "young" "+")
triple10