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