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