Anne is kind. Bob is rough. Charlie is kind. If Anne is young and Anne is kind then Anne is nice. All kind people are young.
Anne is kind.
("Anne" "is" "kind" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
If Anne is young and Anne is kind then Anne is nice.
((("Anne" "is" "young" "+") ("Anne" "is" "kind" "+")) -> ("Anne" "is" "nice" "+"))
All kind people are young.
((("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
Anne is kind.
True
1
proof
[(triple1)]
("Anne" "is" "kind" "+")
triple1
Bob is not rough.
False
1
inv-proof
[(triple2)]
("Bob" "is" "rough" "-")
triple2
Charlie is young.
True
2
proof
[(((triple3) -> rule2))]
("Charlie" "is" "young" "+")
((triple3) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is not young.
False
2
inv-proof
[(((triple3) -> rule2))]
("Charlie" "is" "young" "-")
((triple3) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Anne is nice.
True
4
proof
[(((((triple1) -> rule2) triple1) -> rule1))]
("Anne" "is" "nice" "+")
((((triple1) -> (rule2 % int2)) triple1) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is not nice.
False
4
inv-proof
[(((((triple1) -> rule2) triple1) -> rule1))]
("Anne" "is" "nice" "-")
((((triple1) -> (rule2 % int2)) triple1) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "young" "-")
Anne is rough.
Unknown
random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "+")
Anne is not furry.
Unknown
inv-random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Anne is green.
Unknown
random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "+")
@0: Anne is kind.[(triple1)] Bob is rough.[(triple2)] Charlie is kind.[(triple3)] @1: Anne is young.[(((triple1) -> rule2))] Charlie is young.[(((triple3) -> rule2))] @2: Anne is nice.[(((((triple1) -> rule2) triple1) -> rule1))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
((triple1) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple3) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
((((triple1) -> (rule2 % int2)) triple1) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2