Anne is blue. Anne is green. Anne is not kind. Anne is red. Anne is rough. Bob is not blue. Bob is green. Bob is red. Charlie is green. Charlie is not white. If Bob is blue and Bob is furry then Bob is green. If someone is white then they are furry. Green, rough people are white.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is not kind.
("Anne" "is" "kind" "-")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Bob is not blue.
("Bob" "is" "blue" "-")
Bob is green.
("Bob" "is" "green" "+")
Bob is red.
("Bob" "is" "red" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is not white.
("Charlie" "is" "white" "-")
If Bob is blue and Bob is furry then Bob is green.
((("Bob" "is" "blue" "+") ("Bob" "is" "furry" "+")) -> ("Bob" "is" "green" "+"))
If someone is white then they are furry.
((("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
Green, rough people are white.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "white" "+"))
Anne is rough.
True
1
proof
[(triple5)]
("Anne" "is" "rough" "+")
triple5
Bob is not green.
False
1
inv-proof
[(triple7)]
("Bob" "is" "green" "-")
triple7
Anne is white.
True
3
proof
[(((triple2 triple5) -> rule3))]
("Anne" "is" "white" "+")
((triple2 triple5) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is not white.
False
3
inv-proof
[(((triple2 triple5) -> rule3))]
("Anne" "is" "white" "-")
((triple2 triple5) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is furry.
True
4
proof
[(((((triple2 triple5) -> rule3)) -> rule2))]
("Anne" "is" "furry" "+")
((((triple2 triple5) -> (rule3 % int2))) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is not furry.
False
4
inv-proof
[(((((triple2 triple5) -> rule3)) -> rule2))]
("Anne" "is" "furry" "-")
((((triple2 triple5) -> (rule3 % int2))) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Bob is not white.
Unknown
inv-rconc
[@1: Bob is white.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "white" "-")
Charlie is furry.
Unknown
rconc
[@1: Charlie is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "furry" "+")
Bob is not furry.
Unknown
inv-rconc
[@2: Bob is furry.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Bob" "is" "furry" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is not kind.[(triple3)] Anne is red.[(triple4)] Anne is rough.[(triple5)] Bob is green.[(triple7)] Bob is not blue.[(triple6)] Bob is red.[(triple8)] Charlie is green.[(triple9)] Charlie is not white.[(triple10)] @1: Anne is white.[(((triple2 triple5) -> rule3))] @2: Anne is furry.[(((((triple2 triple5) -> rule3)) -> rule2))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is not kind.
("Anne" "is" "kind" "-")
triple3
Anne is red.
("Anne" "is" "red" "+")
triple4
Anne is rough.
("Anne" "is" "rough" "+")
triple5
Bob is green.
("Bob" "is" "green" "+")
triple7
Bob is not blue.
("Bob" "is" "blue" "-")
triple6
Bob is red.
("Bob" "is" "red" "+")
triple8
Charlie is green.
("Charlie" "is" "green" "+")
triple9
Charlie is not white.
("Charlie" "is" "white" "-")
triple10
Anne is white.
("Anne" "is" "white" "+")
((triple2 triple5) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
((((triple2 triple5) -> (rule3 % int2))) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2