Bob is smart. Bob is white. Erin is blue. Erin is red. Erin is white. Gary is blue. Gary is white. If something is quiet then it is white. If something is red then it is smart. If Erin is smart and Erin is quiet then Erin is blue. If Bob is white and Bob is blue then Bob is quiet. If Gary is green and Gary is quiet then Gary is smart. If Erin is green and Erin is cold then Erin is white.
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is white.
("Gary" "is" "white" "+")
If something is quiet then it is white.
((("something" "is" "quiet" "+")) -> ("something" "is" "white" "+"))
If something is red then it is smart.
((("something" "is" "red" "+")) -> ("something" "is" "smart" "+"))
If Erin is smart and Erin is quiet then Erin is blue.
((("Erin" "is" "smart" "+") ("Erin" "is" "quiet" "+")) -> ("Erin" "is" "blue" "+"))
If Bob is white and Bob is blue then Bob is quiet.
((("Bob" "is" "white" "+") ("Bob" "is" "blue" "+")) -> ("Bob" "is" "quiet" "+"))
If Gary is green and Gary is quiet then Gary is smart.
((("Gary" "is" "green" "+") ("Gary" "is" "quiet" "+")) -> ("Gary" "is" "smart" "+"))
If Erin is green and Erin is cold then Erin is white.
((("Erin" "is" "green" "+") ("Erin" "is" "cold" "+")) -> ("Erin" "is" "white" "+"))
Erin is red.
True
1
proof
[(triple4)]
("Erin" "is" "red" "+")
triple4
Erin is not red.
False
1
inv-proof
[(triple4)]
("Erin" "is" "red" "-")
triple4
Bob is not quiet.
Unknown
inv-rconc
[@1: Bob is quiet.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "quiet" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
@0: Bob is smart.[(triple1)] Bob is white.[(triple2)] Erin is blue.[(triple3)] Erin is red.[(triple4)] Erin is white.[(triple5)] Gary is blue.[(triple6)] Gary is white.[(triple7)] @1: Erin is smart.[(((triple4) -> rule2))]
Bob is smart.
("Bob" "is" "smart" "+")
triple1
Bob is white.
("Bob" "is" "white" "+")
triple2
Erin is blue.
("Erin" "is" "blue" "+")
triple3
Erin is red.
("Erin" "is" "red" "+")
triple4
Erin is white.
("Erin" "is" "white" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple6
Gary is white.
("Gary" "is" "white" "+")
triple7
Erin is smart.
("Erin" "is" "smart" "+")
((triple4) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1