Anne is not green. Anne is nice. Anne is smart. Anne is young. Erin is green. Erin is nice. Erin is not quiet. Erin is smart. Erin is white. Erin is not young. If something is green and not white then it is young. If something is green then it is not furry. If something is quiet then it is not smart.
Anne is not green.
("Anne" "is" "green" "-")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is young.
("Anne" "is" "young" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is not quiet.
("Erin" "is" "quiet" "-")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is not young.
("Erin" "is" "young" "-")
If something is green and not white then it is young.
((("something" "is" "green" "+") ("something" "is" "white" "~")) -> ("something" "is" "young" "+"))
If something is green then it is not furry.
((("something" "is" "green" "+")) -> ("something" "is" "furry" "-"))
If something is quiet then it is not smart.
((("something" "is" "quiet" "+")) -> ("something" "is" "smart" "-"))
Erin is green.
True
1
proof
[(triple5)]
("Erin" "is" "green" "+")
triple5
Erin is young.
False
1
inv-proof
[(triple10)]
("Erin" "is" "young" "+")
triple10
Anne is not furry.
Unknown
inv-random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "-")
Anne is white.
Unknown
random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "+")
@0: Anne is nice.[(triple2)] Anne is not green.[(triple1)] Anne is smart.[(triple3)] Anne is young.[(triple4)] Erin is green.[(triple5)] Erin is nice.[(triple6)] Erin is not quiet.[(triple7)] Erin is not young.[(triple10)] Erin is smart.[(triple8)] Erin is white.[(triple9)] @1: Erin is not furry.[(((triple5) -> rule2))]
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is not green.
("Anne" "is" "green" "-")
triple1
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
Erin is green.
("Erin" "is" "green" "+")
triple5
Erin is nice.
("Erin" "is" "nice" "+")
triple6
Erin is not quiet.
("Erin" "is" "quiet" "-")
triple7
Erin is not young.
("Erin" "is" "young" "-")
triple10
Erin is smart.
("Erin" "is" "smart" "+")
triple8
Erin is white.
("Erin" "is" "white" "+")
triple9
Erin is not furry.
("Erin" "is" "furry" "-")
((triple5) -> (rule2 % int1))
Erin is not furry.
("Erin" "is" "furry" "-")
int1