Bob is not blue. Dave is smart. Erin is quiet. If something is white then it is young. If Bob is not blue then Bob is white.
Bob is not blue.
("Bob" "is" "blue" "-")
Dave is smart.
("Dave" "is" "smart" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
If something is white then it is young.
((("something" "is" "white" "+")) -> ("something" "is" "young" "+"))
If Bob is not blue then Bob is white.
((("Bob" "is" "blue" "~")) -> ("Bob" "is" "white" "+"))
Erin is quiet.
True
1
proof
[(triple3)]
("Erin" "is" "quiet" "+")
triple3
Erin is not quiet.
False
1
inv-proof
[(triple3)]
("Erin" "is" "quiet" "-")
triple3
Bob is white.
True
2
proof
[(((triple1) -> rule2))]
("Bob" "is" "white" "+")
((triple1) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is not white.
False
2
inv-proof
[(((triple1) -> rule2))]
("Bob" "is" "white" "-")
((triple1) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
True
3
proof
[(((((triple1) -> rule2)) -> rule1))]
("Bob" "is" "young" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is not young.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule1))]
("Bob" "is" "young" "-")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Erin is not young.
Unknown
inv-rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "young" "-")
Dave is young.
Unknown
rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "young" "+")
Erin is not white.
Unknown
inv-random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "-")
Erin is blue.
Unknown
random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "+")
Dave is not quiet.
Unknown
inv-random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Bob is not blue.[(triple1)] Dave is smart.[(triple2)] Erin is quiet.[(triple3)] @1: Bob is white.[(((triple1) -> rule2))] @2: Bob is young.[(((((triple1) -> rule2)) -> rule1))]
Bob is not blue.
("Bob" "is" "blue" "-")
triple1
Dave is smart.
("Dave" "is" "smart" "+")
triple2
Erin is quiet.
("Erin" "is" "quiet" "+")
triple3
Bob is white.
("Bob" "is" "white" "+")
((triple1) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2