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