Anne is blue. Anne is green. Anne is quiet. Anne is rough. Charlie is blue. Erin is big. Erin is white. Gary is not blue. Gary is rough. Gary is smart. All blue people are not white.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is not blue.
("Gary" "is" "blue" "-")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is smart.
("Gary" "is" "smart" "+")
All blue people are not white.
((("someone" "is" "blue" "+")) -> ("someone" "is" "white" "-"))
Gary is not blue.
True
1
proof
[(triple8)]
("Gary" "is" "blue" "-")
triple8
Erin is not white.
False
1
inv-proof
[(triple7)]
("Erin" "is" "white" "-")
triple7
Charlie is not white.
True
2
proof
[(((triple5) -> rule1))]
("Charlie" "is" "white" "-")
((triple5) -> (rule1 % int1))
Charlie is not white.
("Charlie" "is" "white" "-")
int1
Anne is white.
False
2
inv-proof
[(((triple1) -> rule1))]
("Anne" "is" "white" "+")
((triple1) -> (rule1 % int1))
Anne is not white.
("Anne" "is" "white" "-")
int1
Erin is not quiet.
Unknown
inv-random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
Erin is not rough.
Unknown
inv-random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is quiet.[(triple3)] Anne is rough.[(triple4)] Charlie is blue.[(triple5)] Erin is big.[(triple6)] Erin is white.[(triple7)] Gary is not blue.[(triple8)] Gary is rough.[(triple9)] Gary is smart.[(triple10)] @1: Anne is not white.[(((triple1) -> rule1))] Charlie is not white.[(((triple5) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Erin is big.
("Erin" "is" "big" "+")
triple6
Erin is white.
("Erin" "is" "white" "+")
triple7
Gary is not blue.
("Gary" "is" "blue" "-")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Gary is smart.
("Gary" "is" "smart" "+")
triple10
Anne is not white.
("Anne" "is" "white" "-")
((triple1) -> (rule1 % int1))
Anne is not white.
("Anne" "is" "white" "-")
int1
Charlie is not white.
("Charlie" "is" "white" "-")
((triple5) -> (rule1 % int1))
Charlie is not white.
("Charlie" "is" "white" "-")
int1