Anne is cold. Anne is furry. Anne is green. Anne is rough. Anne is white. Bob is green. Bob is rough. Bob is round. Bob is white. Erin is green. White, green people are cold.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is white.
("Bob" "is" "white" "+")
Erin is green.
("Erin" "is" "green" "+")
White, green people are cold.
((("someone" "is" "white" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
Anne is green.
True
1
proof
[(triple3)]
("Anne" "is" "green" "+")
triple3
Bob is not green.
False
1
inv-proof
[(triple6)]
("Bob" "is" "green" "-")
triple6
Bob is cold.
True
3
proof
[(((triple9 triple6) -> rule1))]
("Bob" "is" "cold" "+")
((triple9 triple6) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is not cold.
False
3
inv-proof
[(((triple9 triple6) -> rule1))]
("Bob" "is" "cold" "-")
((triple9 triple6) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Erin is not cold.
Unknown
inv-rconc
[@1: Erin is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "cold" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Bob is furry.
Unknown
random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "+")
@0: Anne is cold.[(triple1 OR ((triple5 triple3) -> rule1))] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is rough.[(triple4)] Anne is white.[(triple5)] Bob is green.[(triple6)] Bob is rough.[(triple7)] Bob is round.[(triple8)] Bob is white.[(triple9)] Erin is green.[(triple10)] @1: Bob is cold.[(((triple9 triple6) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
((triple5 triple3) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is green.
("Anne" "is" "green" "+")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Anne is white.
("Anne" "is" "white" "+")
triple5
Bob is green.
("Bob" "is" "green" "+")
triple6
Bob is rough.
("Bob" "is" "rough" "+")
triple7
Bob is round.
("Bob" "is" "round" "+")
triple8
Bob is white.
("Bob" "is" "white" "+")
triple9
Erin is green.
("Erin" "is" "green" "+")
triple10
Bob is cold.
("Bob" "is" "cold" "+")
((triple9 triple6) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1