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