Erin is not blue. Erin is white. Gary is quiet. Gary is rough. Gary is not smart. Gary is white. Gary is young. If something is rough and not smart then it is not blue.
Erin is not blue.
("Erin" "is" "blue" "-")
Erin is white.
("Erin" "is" "white" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is not smart.
("Gary" "is" "smart" "-")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
If something is rough and not smart then it is not blue.
((("something" "is" "rough" "+") ("something" "is" "smart" "~")) -> ("something" "is" "blue" "-"))
Gary is quiet.
True
1
proof
[(triple3)]
("Gary" "is" "quiet" "+")
triple3
Erin is not white.
False
1
inv-proof
[(triple2)]
("Erin" "is" "white" "-")
triple2
Gary is not blue.
True
3
proof
[(((triple4 triple5) -> rule1))]
("Gary" "is" "blue" "-")
((triple4 triple5) -> (rule1 % int1))
Gary is not blue.
("Gary" "is" "blue" "-")
int1
Gary is blue.
False
3
inv-proof
[(((triple4 triple5) -> rule1))]
("Gary" "is" "blue" "+")
((triple4 triple5) -> (rule1 % int1))
Gary is not blue.
("Gary" "is" "blue" "-")
int1
Erin is not young.
Unknown
inv-random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
Erin is not smart.
Unknown
inv-random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
@0: Erin is not blue.[(triple1)] Erin is white.[(triple2)] Gary is not smart.[(triple5)] Gary is quiet.[(triple3)] Gary is rough.[(triple4)] Gary is white.[(triple6)] Gary is young.[(triple7)] @1: Gary is not blue.[(((triple4 triple5) -> rule1))]
Erin is not blue.
("Erin" "is" "blue" "-")
triple1
Erin is white.
("Erin" "is" "white" "+")
triple2
Gary is not smart.
("Gary" "is" "smart" "-")
triple5
Gary is quiet.
("Gary" "is" "quiet" "+")
triple3
Gary is rough.
("Gary" "is" "rough" "+")
triple4
Gary is white.
("Gary" "is" "white" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple7
Gary is not blue.
("Gary" "is" "blue" "-")
((triple4 triple5) -> (rule1 % int1))
Gary is not blue.
("Gary" "is" "blue" "-")
int1