Anne is cold. Anne is furry. Anne is kind. Anne is quiet. Charlie is kind. Charlie is not smart. Dave is rough. Erin is not kind. Erin is nice. Erin is quiet. If Charlie is not furry then Charlie is kind.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is not smart.
("Charlie" "is" "smart" "-")
Dave is rough.
("Dave" "is" "rough" "+")
Erin is not kind.
("Erin" "is" "kind" "-")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
If Charlie is not furry then Charlie is kind.
((("Charlie" "is" "furry" "~")) -> ("Charlie" "is" "kind" "+"))
Erin is quiet.
True
1
proof
[(triple10)]
("Erin" "is" "quiet" "+")
triple10
Erin is not quiet.
False
1
inv-proof
[(triple10)]
("Erin" "is" "quiet" "-")
triple10
Anne is not rough.
Unknown
inv-random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "-")
Dave is quiet.
Unknown
random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "+")
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is quiet.[(triple4)] Charlie is kind.[(triple5)] Charlie is not smart.[(triple6)] Dave is rough.[(triple7)] Erin is nice.[(triple9)] Erin is not kind.[(triple8)] Erin is quiet.[(triple10)]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
Charlie is not smart.
("Charlie" "is" "smart" "-")
triple6
Dave is rough.
("Dave" "is" "rough" "+")
triple7
Erin is nice.
("Erin" "is" "nice" "+")
triple9
Erin is not kind.
("Erin" "is" "kind" "-")
triple8
Erin is quiet.
("Erin" "is" "quiet" "+")
triple10