Anne is white. Bob is cold. Charlie is white. Erin is white. White things are young. If something is nice and not red then it is young.
Anne is white.
("Anne" "is" "white" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is white.
("Erin" "is" "white" "+")
White things are young.
((("something" "is" "white" "+")) -> ("something" "is" "young" "+"))
If something is nice and not red then it is young.
((("something" "is" "nice" "+") ("something" "is" "red" "~")) -> ("something" "is" "young" "+"))
Charlie is white.
True
1
proof
[(triple3)]
("Charlie" "is" "white" "+")
triple3
Charlie is not white.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "white" "-")
triple3
Charlie is young.
True
2
proof
[(((triple3) -> rule1))]
("Charlie" "is" "young" "+")
((triple3) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Erin is not young.
False
2
inv-proof
[(((triple4) -> rule1))]
("Erin" "is" "young" "-")
((triple4) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "young" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
Erin is not nice.
Unknown
inv-random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Anne is white.[(triple1)] Bob is cold.[(triple2)] Charlie is white.[(triple3)] Erin is white.[(triple4)] @1: Anne is young.[(((triple1) -> rule1))] Charlie is young.[(((triple3) -> rule1))] Erin is young.[(((triple4) -> rule1))]
Anne is white.
("Anne" "is" "white" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Charlie is white.
("Charlie" "is" "white" "+")
triple3
Erin is white.
("Erin" "is" "white" "+")
triple4
Anne is young.
("Anne" "is" "young" "+")
((triple1) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple3) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
((triple4) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1