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