Anne is not furry. Anne is green. Anne is red. Anne is round. Anne is young. Bob is blue. Bob is furry. Bob is red. Bob is not white. Dave is blue. Dave is furry. Dave is not round. Erin is furry. Erin is green. Erin is not round. If Bob is white and Bob is not blue then Bob is not green. If Bob is round and Bob is not red then Bob is green. Round people are green. If someone is red and not furry then they are young. If Erin is round and Erin is not blue then Erin is young. If Erin is blue and Erin is not round then Erin is not young. Red, young people are not white. If Dave is not blue then Dave is white.
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is green.
("Anne" "is" "green" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is not white.
("Bob" "is" "white" "-")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is not round.
("Dave" "is" "round" "-")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is not round.
("Erin" "is" "round" "-")
If Bob is white and Bob is not blue then Bob is not green.
((("Bob" "is" "white" "+") ("Bob" "is" "blue" "~")) -> ("Bob" "is" "green" "-"))
If Bob is round and Bob is not red then Bob is green.
((("Bob" "is" "round" "+") ("Bob" "is" "red" "~")) -> ("Bob" "is" "green" "+"))
Round people are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is red and not furry then they are young.
((("someone" "is" "red" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "young" "+"))
If Erin is round and Erin is not blue then Erin is young.
((("Erin" "is" "round" "+") ("Erin" "is" "blue" "~")) -> ("Erin" "is" "young" "+"))
If Erin is blue and Erin is not round then Erin is not young.
((("Erin" "is" "blue" "+") ("Erin" "is" "round" "~")) -> ("Erin" "is" "young" "-"))
Red, young people are not white.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "white" "-"))
If Dave is not blue then Dave is white.
((("Dave" "is" "blue" "~")) -> ("Dave" "is" "white" "+"))
Bob is furry.
True
1
proof
[(triple7)]
("Bob" "is" "furry" "+")
triple7
Anne is not young.
False
1
inv-proof
[(triple5 OR ((triple3 triple1) -> rule4))]
("Anne" "is" "young" "-")
triple5
((triple3 triple1) -> (rule4 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is not white.
True
3
proof
[(((triple3 triple5) -> rule7) OR ((triple3 ((triple3 triple1) -> rule4)) -> rule7))]
("Anne" "is" "white" "-")
((triple3 triple5) -> (rule7 % int1))
Anne is not white.
("Anne" "is" "white" "-")
int1
((triple3 ((triple3 triple1) -> (rule4 % int2))) -> (rule7 % int1))
Anne is not white.
("Anne" "is" "white" "-")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is white.
False
3
inv-proof
[(((triple3 triple5) -> rule7) OR ((triple3 ((triple3 triple1) -> rule4)) -> rule7))]
("Anne" "is" "white" "+")
((triple3 triple5) -> (rule7 % int1))
Anne is not white.
("Anne" "is" "white" "-")
int1
((triple3 ((triple3 triple1) -> (rule4 % int2))) -> (rule7 % int1))
Anne is not white.
("Anne" "is" "white" "-")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "young" "-")
Dave is white.
Unknown
rconc
[@1: Dave is white.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Dave" "is" "white" "+")
Anne is not blue.
Unknown
inv-random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Anne is green.[(triple2 OR ((triple4) -> rule3))] Anne is not furry.[(triple1)] Anne is red.[(triple3)] Anne is round.[(triple4)] Anne is young.[(triple5 OR ((triple3 triple1) -> rule4))] Bob is blue.[(triple6)] Bob is furry.[(triple7)] Bob is not white.[(triple9)] Bob is red.[(triple8)] Dave is blue.[(triple10)] Dave is furry.[(triple11)] Dave is not round.[(triple12)] Erin is furry.[(triple13)] Erin is green.[(triple14)] Erin is not round.[(triple15)] @1: Anne is not white.[(((triple3 triple5) -> rule7) OR ((triple3 ((triple3 triple1) -> rule4)) -> rule7))]
Anne is green.
("Anne" "is" "green" "+")
triple2
((triple4) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is not furry.
("Anne" "is" "furry" "-")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
Anne is young.
("Anne" "is" "young" "+")
triple5
((triple3 triple1) -> (rule4 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
triple6
Bob is furry.
("Bob" "is" "furry" "+")
triple7
Bob is not white.
("Bob" "is" "white" "-")
triple9
Bob is red.
("Bob" "is" "red" "+")
triple8
Dave is blue.
("Dave" "is" "blue" "+")
triple10
Dave is furry.
("Dave" "is" "furry" "+")
triple11
Dave is not round.
("Dave" "is" "round" "-")
triple12
Erin is furry.
("Erin" "is" "furry" "+")
triple13
Erin is green.
("Erin" "is" "green" "+")
triple14
Erin is not round.
("Erin" "is" "round" "-")
triple15
Anne is not white.
("Anne" "is" "white" "-")
((triple3 triple5) -> (rule7 % int1))
Anne is not white.
("Anne" "is" "white" "-")
int1
((triple3 ((triple3 triple1) -> (rule4 % int2))) -> (rule7 % int1))
Anne is not white.
("Anne" "is" "white" "-")
int1
Anne is young.
("Anne" "is" "young" "+")
int2