Bob is not furry. Bob is kind. Bob is not quiet. Bob is red. Bob is young. Dave is furry. Dave is kind. Dave is not nice. Dave is quiet. Dave is red. Dave is not white. Dave is young. Nice, young people are not quiet. If Dave is quiet then Dave is kind. If Bob is kind and Bob is not white then Bob is quiet.
Bob is not furry.
("Bob" "is" "furry" "-")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is not quiet.
("Bob" "is" "quiet" "-")
Bob is red.
("Bob" "is" "red" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is not nice.
("Dave" "is" "nice" "-")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is not white.
("Dave" "is" "white" "-")
Dave is young.
("Dave" "is" "young" "+")
Nice, young people are not quiet.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "quiet" "-"))
If Dave is quiet then Dave is kind.
((("Dave" "is" "quiet" "+")) -> ("Dave" "is" "kind" "+"))
If Bob is kind and Bob is not white then Bob is quiet.
((("Bob" "is" "kind" "+") ("Bob" "is" "white" "~")) -> ("Bob" "is" "quiet" "+"))
Bob is not quiet.
True
1
proof
[(triple3)]
("Bob" "is" "quiet" "-")
triple3
Dave is not young.
False
1
inv-proof
[(triple12)]
("Dave" "is" "young" "-")
triple12
Bob is not white.
Unknown
inv-random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Bob is kind.[(triple2)] Bob is not furry.[(triple1)] Bob is not quiet.[(triple3)] Bob is red.[(triple4)] Bob is young.[(triple5)] Dave is furry.[(triple6)] Dave is kind.[(triple7 OR ((triple9) -> rule2))] Dave is not nice.[(triple8)] Dave is not white.[(triple11)] Dave is quiet.[(triple9)] Dave is red.[(triple10)] Dave is young.[(triple12)]
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is not furry.
("Bob" "is" "furry" "-")
triple1
Bob is not quiet.
("Bob" "is" "quiet" "-")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple4
Bob is young.
("Bob" "is" "young" "+")
triple5
Dave is furry.
("Dave" "is" "furry" "+")
triple6
Dave is kind.
("Dave" "is" "kind" "+")
triple7
((triple9) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is not nice.
("Dave" "is" "nice" "-")
triple8
Dave is not white.
("Dave" "is" "white" "-")
triple11
Dave is quiet.
("Dave" "is" "quiet" "+")
triple9
Dave is red.
("Dave" "is" "red" "+")
triple10
Dave is young.
("Dave" "is" "young" "+")
triple12