Anne is white. If Anne is furry then Anne is not kind. If someone is kind and not smart then they are young. If someone is kind and white then they are young. All red, young people are kind. All white people are kind. All red people are furry. All white people are not red. All furry people are not white.
Anne is white.
("Anne" "is" "white" "+")
If Anne is furry then Anne is not kind.
((("Anne" "is" "furry" "+")) -> ("Anne" "is" "kind" "-"))
If someone is kind and not smart then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "young" "+"))
If someone is kind and white then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "young" "+"))
All red, young people are kind.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
All white people are kind.
((("someone" "is" "white" "+")) -> ("someone" "is" "kind" "+"))
All red people are furry.
((("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
All white people are not red.
((("someone" "is" "white" "+")) -> ("someone" "is" "red" "-"))
All furry people are not white.
((("someone" "is" "furry" "+")) -> ("someone" "is" "white" "-"))
Anne is white.
True
1
proof
[(triple1)]
("Anne" "is" "white" "+")
triple1
Anne is not white.
False
1
inv-proof
[(triple1)]
("Anne" "is" "white" "-")
triple1
Anne is kind.
True
2
proof
[(((triple1) -> rule5))]
("Anne" "is" "kind" "+")
((triple1) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is red.
False
2
inv-proof
[(((triple1) -> rule7))]
("Anne" "is" "red" "+")
((triple1) -> (rule7 % int1))
Anne is not red.
("Anne" "is" "red" "-")
int1
Anne is young.
True
4
proof
[(((((triple1) -> rule5) triple1) -> rule3))]
("Anne" "is" "young" "+")
((((triple1) -> (rule5 % int2)) triple1) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is not young.
False
4
inv-proof
[(((((triple1) -> rule5) triple1) -> rule3))]
("Anne" "is" "young" "-")
((((triple1) -> (rule5 % int2)) triple1) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is not furry.
Unknown
inv-rconc
[@1: Anne is furry.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Anne" "is" "furry" "-")
Anne is nice.
Unknown
random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "+")
@0: Anne is white.[(triple1)] @1: Anne is kind.[(((triple1) -> rule5))] Anne is not red.[(((triple1) -> rule7))] @2: Anne is young.[(((((triple1) -> rule5) triple1) -> rule3))]
Anne is white.
("Anne" "is" "white" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
((triple1) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is not red.
("Anne" "is" "red" "-")
((triple1) -> (rule7 % int1))
Anne is not red.
("Anne" "is" "red" "-")
int1
Anne is young.
("Anne" "is" "young" "+")
((((triple1) -> (rule5 % int2)) triple1) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2