Anne is green. Dave is kind. Erin is young. If Anne is furry and Anne is not green then Anne is white. All green things are white.
Anne is green.
("Anne" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Erin is young.
("Erin" "is" "young" "+")
If Anne is furry and Anne is not green then Anne is white.
((("Anne" "is" "furry" "+") ("Anne" "is" "green" "~")) -> ("Anne" "is" "white" "+"))
All green things are white.
((("something" "is" "green" "+")) -> ("something" "is" "white" "+"))
Erin is young.
True
1
proof
[(triple3)]
("Erin" "is" "young" "+")
triple3
Erin is not young.
False
1
inv-proof
[(triple3)]
("Erin" "is" "young" "-")
triple3
Anne is white.
True
2
proof
[(((triple1) -> rule2))]
("Anne" "is" "white" "+")
((triple1) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is not white.
False
2
inv-proof
[(((triple1) -> rule2))]
("Anne" "is" "white" "-")
((triple1) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Dave is not white.
Unknown
inv-rconc
[@1: Dave is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "white" "-")
Erin is white.
Unknown
rconc
[@1: Erin is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "white" "+")
Erin is not big.
Unknown
inv-random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Anne is green.[(triple1)] Dave is kind.[(triple2)] Erin is young.[(triple3)] @1: Anne is white.[(((triple1) -> rule2))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Erin is young.
("Erin" "is" "young" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
((triple1) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1