Anne is white. If Anne is young then Anne is not nice. White people are young. If someone is nice and not smart then they are blue.
Anne is white.
("Anne" "is" "white" "+")
If Anne is young then Anne is not nice.
((("Anne" "is" "young" "+")) -> ("Anne" "is" "nice" "-"))
White people are young.
((("someone" "is" "white" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and not smart then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "blue" "+"))
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 young.
True
2
proof
[(((triple1) -> rule2))]
("Anne" "is" "young" "+")
((triple1) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is not young.
False
2
inv-proof
[(((triple1) -> rule2))]
("Anne" "is" "young" "-")
((triple1) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is not nice.
True
3
proof
[(((((triple1) -> rule2)) -> rule1))]
("Anne" "is" "nice" "-")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Anne is not nice.
("Anne" "is" "nice" "-")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is nice.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule1))]
("Anne" "is" "nice" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Anne is not nice.
("Anne" "is" "nice" "-")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is not blue.
Unknown
inv-rconc
[@1: Anne is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "blue" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
Anne is not smart.
Unknown
inv-random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "-")
Anne is red.
Unknown
random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "+")
@0: Anne is white.[(triple1)] @1: Anne is young.[(((triple1) -> rule2))] @2: Anne is not nice.[(((((triple1) -> rule2)) -> rule1))]
Anne is white.
("Anne" "is" "white" "+")
triple1
Anne is young.
("Anne" "is" "young" "+")
((triple1) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is not nice.
("Anne" "is" "nice" "-")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Anne is not nice.
("Anne" "is" "nice" "-")
int1
Anne is young.
("Anne" "is" "young" "+")
int2