Anne is white. Bob is blue. Big, white people are red. If someone is red then they are smart. If someone is big and kind then they are red. White people are furry. If Bob is furry then Bob is kind. If someone is furry and kind then they are white.
Anne is white.
("Anne" "is" "white" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Big, white people are red.
((("someone" "is" "big" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "red" "+"))
If someone is red then they are smart.
((("someone" "is" "red" "+")) -> ("someone" "is" "smart" "+"))
If someone is big and kind then they are red.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
White people are furry.
((("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
If Bob is furry then Bob is kind.
((("Bob" "is" "furry" "+")) -> ("Bob" "is" "kind" "+"))
If someone is furry and kind then they are white.
((("someone" "is" "furry" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "white" "+"))
Bob is blue.
True
1
proof
[(triple2)]
("Bob" "is" "blue" "+")
triple2
Bob is not blue.
False
1
inv-proof
[(triple2)]
("Bob" "is" "blue" "-")
triple2
Anne is furry.
True
2
proof
[(((triple1) -> rule4))]
("Anne" "is" "furry" "+")
((triple1) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is not furry.
False
2
inv-proof
[(((triple1) -> rule4))]
("Anne" "is" "furry" "-")
((triple1) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Bob is not furry.
Unknown
inv-rconc
[@2: Bob is furry.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("Bob" "is" "furry" "-")
Bob is smart.
Unknown
rconc
[@2: Bob is smart.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Bob" "is" "smart" "+")
Anne is not blue.
Unknown
inv-random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "-")
Anne is kind.
Unknown
random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "+")
@0: Anne is white.[(triple1)] Bob is blue.[(triple2)] @1: Anne is furry.[(((triple1) -> rule4))]
Anne is white.
("Anne" "is" "white" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Anne is furry.
("Anne" "is" "furry" "+")
((triple1) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1