Anne is furry. Anne is rough. Anne is white. Dave is furry. Erin is blue. Erin is green. Erin is red. All cold things are green. White things are blue.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is white.
("Anne" "is" "white" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is red.
("Erin" "is" "red" "+")
All cold things are green.
((("something" "is" "cold" "+")) -> ("something" "is" "green" "+"))
White things are blue.
((("something" "is" "white" "+")) -> ("something" "is" "blue" "+"))
Erin is blue.
True
1
proof
[(triple5)]
("Erin" "is" "blue" "+")
triple5
Erin is not green.
False
1
inv-proof
[(triple6)]
("Erin" "is" "green" "-")
triple6
Anne is blue.
True
2
proof
[(((triple3) -> rule2))]
("Anne" "is" "blue" "+")
((triple3) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is not blue.
False
2
inv-proof
[(((triple3) -> rule2))]
("Anne" "is" "blue" "-")
((triple3) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is not green.
Unknown
inv-rconc
[@1: Anne is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "green" "-")
Dave is green.
Unknown
rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "green" "+")
Erin is not white.
Unknown
inv-random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Anne is furry.[(triple1)] Anne is rough.[(triple2)] Anne is white.[(triple3)] Dave is furry.[(triple4)] Erin is blue.[(triple5)] Erin is green.[(triple6)] Erin is red.[(triple7)] @1: Anne is blue.[(((triple3) -> rule2))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Dave is furry.
("Dave" "is" "furry" "+")
triple4
Erin is blue.
("Erin" "is" "blue" "+")
triple5
Erin is green.
("Erin" "is" "green" "+")
triple6
Erin is red.
("Erin" "is" "red" "+")
triple7
Anne is blue.
("Anne" "is" "blue" "+")
((triple3) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1