Anne is blue. Anne is cold. Anne is green. Anne is rough. Anne is smart. Erin is blue. Erin is cold. Erin is furry. Erin is kind. Erin is smart. If Erin is smart and Erin is rough then Erin is green. If Erin is smart and Erin is rough then Erin is blue.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is smart.
("Erin" "is" "smart" "+")
If Erin is smart and Erin is rough then Erin is green.
((("Erin" "is" "smart" "+") ("Erin" "is" "rough" "+")) -> ("Erin" "is" "green" "+"))
If Erin is smart and Erin is rough then Erin is blue.
((("Erin" "is" "smart" "+") ("Erin" "is" "rough" "+")) -> ("Erin" "is" "blue" "+"))
Anne is blue.
True
1
proof
[(triple1)]
("Anne" "is" "blue" "+")
triple1
Erin is not furry.
False
1
inv-proof
[(triple8)]
("Erin" "is" "furry" "-")
triple8
Erin is not green.
Unknown
inv-rconc
[@1: Erin is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "green" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is green.[(triple3)] Anne is rough.[(triple4)] Anne is smart.[(triple5)] Erin is blue.[(triple6)] Erin is cold.[(triple7)] Erin is furry.[(triple8)] Erin is kind.[(triple9)] Erin is smart.[(triple10)]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is green.
("Anne" "is" "green" "+")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Anne is smart.
("Anne" "is" "smart" "+")
triple5
Erin is blue.
("Erin" "is" "blue" "+")
triple6
Erin is cold.
("Erin" "is" "cold" "+")
triple7
Erin is furry.
("Erin" "is" "furry" "+")
triple8
Erin is kind.
("Erin" "is" "kind" "+")
triple9
Erin is smart.
("Erin" "is" "smart" "+")
triple10