Anne is kind. Anne is white. Bob is green. Bob is red. Bob is white. Charlie is red. Erin is red. All furry, smart people are white. All red, smart people are furry. All red, green people are cold.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Erin is red.
("Erin" "is" "red" "+")
All furry, smart people are white.
((("someone" "is" "furry" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "white" "+"))
All red, smart people are furry.
((("someone" "is" "red" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "furry" "+"))
All red, green people are cold.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
Bob is red.
True
1
proof
[(triple4)]
("Bob" "is" "red" "+")
triple4
Bob is not green.
False
1
inv-proof
[(triple3)]
("Bob" "is" "green" "-")
triple3
Bob is cold.
True
3
proof
[(((triple4 triple3) -> rule3))]
("Bob" "is" "cold" "+")
((triple4 triple3) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is not cold.
False
3
inv-proof
[(((triple4 triple3) -> rule3))]
("Bob" "is" "cold" "-")
((triple4 triple3) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Charlie is not furry.
Unknown
inv-rconc
[@1: Charlie is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "furry" "-")
Charlie is white.
Unknown
rconc
[@1: Charlie is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "white" "+")
Bob is not smart.
Unknown
inv-random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
@0: Anne is kind.[(triple1)] Anne is white.[(triple2)] Bob is green.[(triple3)] Bob is red.[(triple4)] Bob is white.[(triple5)] Charlie is red.[(triple6)] Erin is red.[(triple7)] @1: Bob is cold.[(((triple4 triple3) -> rule3))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Anne is white.
("Anne" "is" "white" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple4
Bob is white.
("Bob" "is" "white" "+")
triple5
Charlie is red.
("Charlie" "is" "red" "+")
triple6
Erin is red.
("Erin" "is" "red" "+")
triple7
Bob is cold.
("Bob" "is" "cold" "+")
((triple4 triple3) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1