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