Anne is blue. Dave is quiet. Erin is red. Quiet, smart people are cold. If someone is red and quiet then they are cold. Red people are green. All green, smart people are cold. If Dave is cold and Dave is smart then Dave is white. Cold, quiet people are blue. If someone is white and red then they are cold. If someone is red and green then they are blue.
Anne is blue.
("Anne" "is" "blue" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Quiet, smart people are cold.
((("someone" "is" "quiet" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and quiet then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "cold" "+"))
Red people are green.
((("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
All green, smart people are cold.
((("someone" "is" "green" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "cold" "+"))
If Dave is cold and Dave is smart then Dave is white.
((("Dave" "is" "cold" "+") ("Dave" "is" "smart" "+")) -> ("Dave" "is" "white" "+"))
Cold, quiet people are blue.
((("someone" "is" "cold" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "blue" "+"))
If someone is white and red then they are cold.
((("someone" "is" "white" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and green then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
Erin is red.
True
1
proof
[(triple3)]
("Erin" "is" "red" "+")
triple3
Dave is not quiet.
False
1
inv-proof
[(triple2)]
("Dave" "is" "quiet" "-")
triple2
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "cold" "-")
Erin is smart.
Unknown
random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "+")
@0: Anne is blue.[(triple1)] Dave is quiet.[(triple2)] Erin is red.[(triple3)] @1: Erin is green.[(((triple3) -> rule3))] @2: Erin is blue.[(((triple3 ((triple3) -> rule3)) -> rule8))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Dave is quiet.
("Dave" "is" "quiet" "+")
triple2
Erin is red.
("Erin" "is" "red" "+")
triple3
Erin is green.
("Erin" "is" "green" "+")
((triple3) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
((triple3 ((triple3) -> (rule3 % int2))) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2