Anne is green. Anne is white. Charlie is green. Furry things are young. All white, green things are nice. If Charlie is blue then Charlie is green.
Anne is green.
("Anne" "is" "green" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Furry things are young.
((("something" "is" "furry" "+")) -> ("something" "is" "young" "+"))
All white, green things are nice.
((("something" "is" "white" "+") ("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
If Charlie is blue then Charlie is green.
((("Charlie" "is" "blue" "+")) -> ("Charlie" "is" "green" "+"))
Anne is white.
True
1
proof
[(triple2)]
("Anne" "is" "white" "+")
triple2
Anne is not white.
False
1
inv-proof
[(triple2)]
("Anne" "is" "white" "-")
triple2
Anne is nice.
True
3
proof
[(((triple2 triple1) -> rule2))]
("Anne" "is" "nice" "+")
((triple2 triple1) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is not nice.
False
3
inv-proof
[(((triple2 triple1) -> rule2))]
("Anne" "is" "nice" "-")
((triple2 triple1) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is not young.
Unknown
inv-rconc
[@1: Anne is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "young" "-")
Charlie is young.
Unknown
rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "young" "+")
Anne is not rough.
Unknown
inv-random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "-")
Charlie is white.
Unknown
random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "+")
@0: Anne is green.[(triple1)] Anne is white.[(triple2)] Charlie is green.[(triple3)] @1: Anne is nice.[(((triple2 triple1) -> rule2))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is white.
("Anne" "is" "white" "+")
triple2
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Anne is nice.
("Anne" "is" "nice" "+")
((triple2 triple1) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1