Anne is kind. Anne is not red. Dave is furry. Dave is green. Dave is not kind. Dave is rough. Erin is blue. Erin is furry. Erin is green. Erin is kind. Erin is red. Erin is white. Gary is furry. Gary is not green. Gary is not kind. Gary is rough. All red people are green. All red people are white. If someone is furry then they are blue. If someone is rough and not red then they are blue. If someone is white then they are furry. If Erin is blue and Erin is not furry then Erin is kind.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is not red.
("Anne" "is" "red" "-")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is not kind.
("Dave" "is" "kind" "-")
Dave is rough.
("Dave" "is" "rough" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is not green.
("Gary" "is" "green" "-")
Gary is not kind.
("Gary" "is" "kind" "-")
Gary is rough.
("Gary" "is" "rough" "+")
All red people are green.
((("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
All red people are white.
((("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
If someone is furry then they are blue.
((("someone" "is" "furry" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and not red then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "blue" "+"))
If someone is white then they are furry.
((("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
If Erin is blue and Erin is not furry then Erin is kind.
((("Erin" "is" "blue" "+") ("Erin" "is" "furry" "~")) -> ("Erin" "is" "kind" "+"))
Dave is not kind.
True
1
proof
[(triple5)]
("Dave" "is" "kind" "-")
triple5
Anne is not kind.
False
1
inv-proof
[(triple1)]
("Anne" "is" "kind" "-")
triple1
Dave is not white.
Unknown
inv-rconc
[@1: Dave is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "white" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
@0: Anne is kind.[(triple1)] Anne is not red.[(triple2)] Dave is furry.[(triple3)] Dave is green.[(triple4)] Dave is not kind.[(triple5)] Dave is rough.[(triple6)] Erin is blue.[(triple7 OR ((triple8) -> rule3) OR ((((triple12) -> rule5)) -> rule3) OR ((((((triple11) -> rule2)) -> rule5)) -> rule3))] Erin is furry.[(triple8 OR ((triple12) -> rule5) OR ((((triple11) -> rule2)) -> rule5))] Erin is green.[(triple9 OR ((triple11) -> rule1))] Erin is kind.[(triple10)] Erin is red.[(triple11)] Erin is white.[(triple12 OR ((triple11) -> rule2))] Gary is furry.[(triple13)] Gary is not green.[(triple14)] Gary is not kind.[(triple15)] Gary is rough.[(triple16)] @1: Dave is blue.[(((triple3) -> rule3))] Gary is blue.[(((triple13) -> rule3))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Anne is not red.
("Anne" "is" "red" "-")
triple2
Dave is furry.
("Dave" "is" "furry" "+")
triple3
Dave is green.
("Dave" "is" "green" "+")
triple4
Dave is not kind.
("Dave" "is" "kind" "-")
triple5
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Erin is blue.
("Erin" "is" "blue" "+")
triple7
((triple8) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((((triple12) -> (rule5 % int2))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((((((triple11) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
triple8
((triple12) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((((triple11) -> (rule2 % int2))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
triple9
((triple11) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
triple10
Erin is red.
("Erin" "is" "red" "+")
triple11
Erin is white.
("Erin" "is" "white" "+")
triple12
((triple11) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
triple13
Gary is not green.
("Gary" "is" "green" "-")
triple14
Gary is not kind.
("Gary" "is" "kind" "-")
triple15
Gary is rough.
("Gary" "is" "rough" "+")
triple16
Dave is blue.
("Dave" "is" "blue" "+")
((triple3) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple13) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1