Bob is red. Dave is not blue. Dave is furry. Dave is nice. Dave is quiet. Gary is not quiet. Gary is rough. If someone is furry and blue then they are not nice.
Bob is red.
("Bob" "is" "red" "+")
Dave is not blue.
("Dave" "is" "blue" "-")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Gary is not quiet.
("Gary" "is" "quiet" "-")
Gary is rough.
("Gary" "is" "rough" "+")
If someone is furry and blue then they are not nice.
((("someone" "is" "furry" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "-"))
Bob is red.
True
1
proof
[(triple1)]
("Bob" "is" "red" "+")
triple1
Gary is not rough.
False
1
inv-proof
[(triple7)]
("Gary" "is" "rough" "-")
triple7
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Bob is red.[(triple1)] Dave is furry.[(triple3)] Dave is nice.[(triple4)] Dave is not blue.[(triple2)] Dave is quiet.[(triple5)] Gary is not quiet.[(triple6)] Gary is rough.[(triple7)]
Bob is red.
("Bob" "is" "red" "+")
triple1
Dave is furry.
("Dave" "is" "furry" "+")
triple3
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Dave is not blue.
("Dave" "is" "blue" "-")
triple2
Dave is quiet.
("Dave" "is" "quiet" "+")
triple5
Gary is not quiet.
("Gary" "is" "quiet" "-")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple7