Anne is blue. Anne is green. Anne is kind. Anne is white. Anne is young. Bob is furry. Bob is kind. Bob is white. Dave is blue. Dave is white. If someone is white and furry then they are blue. If someone is white and blue then they are green. If someone is green then they are young.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is white.
("Bob" "is" "white" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is white.
("Dave" "is" "white" "+")
If someone is white and furry then they are blue.
((("someone" "is" "white" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "blue" "+"))
If someone is white and blue then they are green.
((("someone" "is" "white" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is green then they are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
Dave is white.
True
1
proof
[(triple10)]
("Dave" "is" "white" "+")
triple10
Anne is not kind.
False
1
inv-proof
[(triple3)]
("Anne" "is" "kind" "-")
triple3
Bob is blue.
True
3
proof
[(((triple8 triple6) -> rule1))]
("Bob" "is" "blue" "+")
((triple8 triple6) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is not blue.
False
3
inv-proof
[(((triple8 triple6) -> rule1))]
("Bob" "is" "blue" "-")
((triple8 triple6) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
True
5
proof
[(((triple8 ((triple8 triple6) -> rule1)) -> rule2))]
("Bob" "is" "green" "+")
((triple8 ((triple8 triple6) -> (rule1 % int2))) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Dave is not young.
False
4
inv-proof
[(((((triple10 triple9) -> rule2)) -> rule3))]
("Dave" "is" "young" "-")
((((triple10 triple9) -> (rule2 % int2))) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Bob is young.
True
6
proof
[(((((triple8 ((triple8 triple6) -> rule1)) -> rule2)) -> rule3))]
("Bob" "is" "young" "+")
((((triple8 ((triple8 triple6) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is not young.
False
6
inv-proof
[(((((triple8 ((triple8 triple6) -> rule1)) -> rule2)) -> rule3))]
("Bob" "is" "young" "-")
((((triple8 ((triple8 triple6) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Anne is round.
Unknown
random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Dave is furry.
Unknown
random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "+")
@0: Anne is blue.[(triple1)] Anne is green.[(triple2 OR ((triple4 triple1) -> rule2))] Anne is kind.[(triple3)] Anne is white.[(triple4)] Anne is young.[(triple5 OR ((triple2) -> rule3) OR ((((triple4 triple1) -> rule2)) -> rule3))] Bob is furry.[(triple6)] Bob is kind.[(triple7)] Bob is white.[(triple8)] Dave is blue.[(triple9)] Dave is white.[(triple10)] @1: Bob is blue.[(((triple8 triple6) -> rule1))] Dave is green.[(((triple10 triple9) -> rule2))] @2: Bob is green.[(((triple8 ((triple8 triple6) -> rule1)) -> rule2))] Dave is young.[(((((triple10 triple9) -> rule2)) -> rule3))] @3: Bob is young.[(((((triple8 ((triple8 triple6) -> rule1)) -> rule2)) -> rule3))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
((triple4 triple1) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
triple4
Anne is young.
("Anne" "is" "young" "+")
triple5
((triple2) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
((((triple4 triple1) -> (rule2 % int2))) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
triple6
Bob is kind.
("Bob" "is" "kind" "+")
triple7
Bob is white.
("Bob" "is" "white" "+")
triple8
Dave is blue.
("Dave" "is" "blue" "+")
triple9
Dave is white.
("Dave" "is" "white" "+")
triple10
Bob is blue.
("Bob" "is" "blue" "+")
((triple8 triple6) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple10 triple9) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
((triple8 ((triple8 triple6) -> (rule1 % int2))) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
((((triple10 triple9) -> (rule2 % int2))) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
((((triple8 ((triple8 triple6) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3