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