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