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