Bob is not red. Charlie is blue. Dave is not nice. Erin is nice. If something is kind and white then it is not rough.
Bob is not red.
("Bob" "is" "red" "-")
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is not nice.
("Dave" "is" "nice" "-")
Erin is nice.
("Erin" "is" "nice" "+")
If something is kind and white then it is not rough.
((("something" "is" "kind" "+") ("something" "is" "white" "+")) -> ("something" "is" "rough" "-"))
Dave is not nice.
True
1
proof
[(triple3)]
("Dave" "is" "nice" "-")
triple3
Charlie is not blue.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "blue" "-")
triple2
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Bob is not red.[(triple1)] Charlie is blue.[(triple2)] Dave is not nice.[(triple3)] Erin is nice.[(triple4)]
Bob is not red.
("Bob" "is" "red" "-")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Dave is not nice.
("Dave" "is" "nice" "-")
triple3
Erin is nice.
("Erin" "is" "nice" "+")
triple4