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