Anne is cold. Anne is green. Anne is rough. Bob is cold. Bob is smart. Bob is not white. Erin is kind. Erin is smart. Gary is cold. Gary is smart. Cold things are nice.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is not white.
("Bob" "is" "white" "-")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Cold things are nice.
((("something" "is" "cold" "+")) -> ("something" "is" "nice" "+"))
Anne is cold.
True
1
proof
[(triple1)]
("Anne" "is" "cold" "+")
triple1
Bob is not smart.
False
1
inv-proof
[(triple5)]
("Bob" "is" "smart" "-")
triple5
Anne is nice.
True
2
proof
[(((triple1) -> rule1))]
("Anne" "is" "nice" "+")
((triple1) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is not nice.
False
2
inv-proof
[(((triple1) -> rule1))]
("Anne" "is" "nice" "-")
((triple1) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Erin is not nice.
Unknown
inv-rconc
[@1: Erin is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "nice" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
Anne is not white.
Unknown
inv-random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "-")
Gary is white.
Unknown
random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "+")
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is rough.[(triple3)] Bob is cold.[(triple4)] Bob is not white.[(triple6)] Bob is smart.[(triple5)] Erin is kind.[(triple7)] Erin is smart.[(triple8)] Gary is cold.[(triple9)] Gary is smart.[(triple10)] @1: Anne is nice.[(((triple1) -> rule1))] Bob is nice.[(((triple4) -> rule1))] Gary is nice.[(((triple9) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple3
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is not white.
("Bob" "is" "white" "-")
triple6
Bob is smart.
("Bob" "is" "smart" "+")
triple5
Erin is kind.
("Erin" "is" "kind" "+")
triple7
Erin is smart.
("Erin" "is" "smart" "+")
triple8
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is smart.
("Gary" "is" "smart" "+")
triple10
Anne is nice.
("Anne" "is" "nice" "+")
((triple1) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((triple4) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple9) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1