Anne is red. Anne is smart. Anne is young. Dave is furry. Erin is blue. Gary is blue. Gary is rough. All kind people are blue. Furry people are young. Blue people are furry. If Dave is kind then Dave is young. All red, kind people are young. If someone is red then they are young. If Dave is red then Dave is young. Young, furry people are kind.
Anne is red.
("Anne" "is" "red" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is young.
("Anne" "is" "young" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is rough.
("Gary" "is" "rough" "+")
All kind people are blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
Furry people are young.
((("someone" "is" "furry" "+")) -> ("someone" "is" "young" "+"))
Blue people are furry.
((("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
If Dave is kind then Dave is young.
((("Dave" "is" "kind" "+")) -> ("Dave" "is" "young" "+"))
All red, kind people are young.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is red then they are young.
((("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If Dave is red then Dave is young.
((("Dave" "is" "red" "+")) -> ("Dave" "is" "young" "+"))
Young, furry people are kind.
((("someone" "is" "young" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "kind" "+"))
Gary is rough.
True
1
proof
[(triple7)]
("Gary" "is" "rough" "+")
triple7
Anne is not red.
False
1
inv-proof
[(triple1)]
("Anne" "is" "red" "-")
triple1
Dave is young.
True
2
proof
[(((triple4) -> rule2))]
("Dave" "is" "young" "+")
((triple4) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Erin is not furry.
False
2
inv-proof
[(((triple5) -> rule3))]
("Erin" "is" "furry" "-")
((triple5) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is young.
True
3
proof
[(((((triple5) -> rule3)) -> rule2))]
("Erin" "is" "young" "+")
((((triple5) -> (rule3 % int2))) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Dave is not kind.
False
4
inv-proof
[(((((triple4) -> rule2) triple4) -> rule8))]
("Dave" "is" "kind" "-")
((((triple4) -> (rule2 % int2)) triple4) -> (rule8 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Anne is not kind.
Unknown
inv-rconc
[@3: Anne is kind.[CWA. Example of deepest failure = (rule8 <- rule3 <- rule1 <- FAIL)]]
("Anne" "is" "kind" "-")
Anne is furry.
Unknown
rconc
[@3: Anne is furry.[CWA. Example of deepest failure = (rule3 <- rule1 <- rule8 <- FAIL)]]
("Anne" "is" "furry" "+")
Anne is not blue.
Unknown
inv-rconc
[@3: Anne is blue.[CWA. Example of deepest failure = (rule1 <- rule8 <- rule3 <- FAIL)]]
("Anne" "is" "blue" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
Anne is not rough.
Unknown
inv-random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Anne is red.[(triple1)] Anne is smart.[(triple2)] Anne is young.[(triple3 OR ((triple1) -> rule6))] Dave is furry.[(triple4)] Erin is blue.[(triple5)] Gary is blue.[(triple6)] Gary is rough.[(triple7)] @1: Dave is young.[(((triple4) -> rule2))] Erin is furry.[(((triple5) -> rule3))] Gary is furry.[(((triple6) -> rule3))] @2: Dave is kind.[(((((triple4) -> rule2) triple4) -> rule8))] Erin is young.[(((((triple5) -> rule3)) -> rule2))] Gary is young.[(((((triple6) -> rule3)) -> rule2))] @3: Dave is blue.[(((((((triple4) -> rule2) triple4) -> rule8)) -> rule1))] Erin is kind.[(((((((triple5) -> rule3)) -> rule2) ((triple5) -> rule3)) -> rule8))] Gary is kind.[(((((((triple6) -> rule3)) -> rule2) ((triple6) -> rule3)) -> rule8))]
Anne is red.
("Anne" "is" "red" "+")
triple1
Anne is smart.
("Anne" "is" "smart" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
((triple1) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
triple4
Erin is blue.
("Erin" "is" "blue" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Dave is young.
("Dave" "is" "young" "+")
((triple4) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
((triple5) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
((triple6) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
((((triple4) -> (rule2 % int2)) triple4) -> (rule8 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
((((triple5) -> (rule3 % int2))) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((((triple6) -> (rule3 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
((((((triple4) -> (rule2 % int3)) triple4) -> (rule8 % int2))) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
((((((triple5) -> (rule3 % int3))) -> (rule2 % int2)) ((triple5) -> (rule3 % int3))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
((((((triple6) -> (rule3 % int3))) -> (rule2 % int2)) ((triple6) -> (rule3 % int3))) -> (rule8 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3