Erin is kind. Erin is quiet. Erin is rough. Gary is not nice. Gary is quiet. Gary is red. Gary is rough. All red people are not kind.
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Gary is not nice.
("Gary" "is" "nice" "-")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
All red people are not kind.
((("someone" "is" "red" "+")) -> ("someone" "is" "kind" "-"))
Erin is quiet.
True
1
proof
[(triple2)]
("Erin" "is" "quiet" "+")
triple2
Gary is not quiet.
False
1
inv-proof
[(triple5)]
("Gary" "is" "quiet" "-")
triple5
Erin is not green.
Unknown
inv-random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
@0: Erin is kind.[(triple1)] Erin is quiet.[(triple2)] Erin is rough.[(triple3)] Gary is not nice.[(triple4)] Gary is quiet.[(triple5)] Gary is red.[(triple6)] Gary is rough.[(triple7)] @1: Gary is not kind.[(((triple6) -> rule1))]
Erin is kind.
("Erin" "is" "kind" "+")
triple1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple2
Erin is rough.
("Erin" "is" "rough" "+")
triple3
Gary is not nice.
("Gary" "is" "nice" "-")
triple4
Gary is quiet.
("Gary" "is" "quiet" "+")
triple5
Gary is red.
("Gary" "is" "red" "+")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Gary is not kind.
("Gary" "is" "kind" "-")
((triple6) -> (rule1 % int1))
Gary is not kind.
("Gary" "is" "kind" "-")
int1