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