Anne is green. Charlie is furry. Fiona is kind. All green things are round. All white, kind things are furry. All smart things are round.
Anne is green.
("Anne" "is" "green" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
All green things are round.
((("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
All white, kind things are furry.
((("something" "is" "white" "+") ("something" "is" "kind" "+")) -> ("something" "is" "furry" "+"))
All smart things are round.
((("something" "is" "smart" "+")) -> ("something" "is" "round" "+"))
Anne is green.
True
1
proof
[(triple1)]
("Anne" "is" "green" "+")
triple1
Anne is not green.
False
1
inv-proof
[(triple1)]
("Anne" "is" "green" "-")
triple1
Anne is round.
True
2
proof
[(((triple1) -> rule1))]
("Anne" "is" "round" "+")
((triple1) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is not round.
False
2
inv-proof
[(((triple1) -> rule1))]
("Anne" "is" "round" "-")
((triple1) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Fiona is not furry.
Unknown
inv-rconc
[@1: Fiona is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "furry" "-")
Anne is furry.
Unknown
rconc
[@1: Anne is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "furry" "+")
Anne is not quiet.
Unknown
inv-random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "-")
Charlie is quiet.
Unknown
random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "+")
@0: Anne is green.[(triple1)] Charlie is furry.[(triple2)] Fiona is kind.[(triple3)] @1: Anne is round.[(((triple1) -> rule1))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
((triple1) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1