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