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