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