Bob is furry. Bob is not quiet. Bob is rough. Bob is not smart. Bob is white. Dave is furry. Dave is not kind. Dave is quiet. Dave is smart. Dave is young. Fiona is not furry. Fiona is quiet. Fiona is not rough. Fiona is smart. Fiona is not white. Fiona is not young. Rough things are white. Smart things are not kind.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is not quiet.
("Bob" "is" "quiet" "-")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is not smart.
("Bob" "is" "smart" "-")
Bob is white.
("Bob" "is" "white" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is not kind.
("Dave" "is" "kind" "-")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is not rough.
("Fiona" "is" "rough" "-")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is not white.
("Fiona" "is" "white" "-")
Fiona is not young.
("Fiona" "is" "young" "-")
Rough things are white.
((("something" "is" "rough" "+")) -> ("something" "is" "white" "+"))
Smart things are not kind.
((("something" "is" "smart" "+")) -> ("something" "is" "kind" "-"))
Bob is not quiet.
True
1
proof
[(triple2)]
("Bob" "is" "quiet" "-")
triple2
Dave is not young.
False
1
inv-proof
[(triple10)]
("Dave" "is" "young" "-")
triple10
Fiona is not kind.
True
2
proof
[(((triple14) -> rule2))]
("Fiona" "is" "kind" "-")
((triple14) -> (rule2 % int1))
Fiona is not kind.
("Fiona" "is" "kind" "-")
int1
Fiona is kind.
False
2
inv-proof
[(((triple14) -> rule2))]
("Fiona" "is" "kind" "+")
((triple14) -> (rule2 % int1))
Fiona is not kind.
("Fiona" "is" "kind" "-")
int1
Dave is not white.
Unknown
inv-rconc
[@1: Dave is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "white" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
@0: Bob is furry.[(triple1)] Bob is not quiet.[(triple2)] Bob is not smart.[(triple4)] Bob is rough.[(triple3)] Bob is white.[(triple5 OR ((triple3) -> rule1))] Dave is furry.[(triple6)] Dave is not kind.[(triple7 OR ((triple9) -> rule2))] Dave is quiet.[(triple8)] Dave is smart.[(triple9)] Dave is young.[(triple10)] Fiona is not furry.[(triple11)] Fiona is not rough.[(triple13)] Fiona is not white.[(triple15)] Fiona is not young.[(triple16)] Fiona is quiet.[(triple12)] Fiona is smart.[(triple14)] @1: Fiona is not kind.[(((triple14) -> rule2))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is not quiet.
("Bob" "is" "quiet" "-")
triple2
Bob is not smart.
("Bob" "is" "smart" "-")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Bob is white.
("Bob" "is" "white" "+")
triple5
((triple3) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
triple6
Dave is not kind.
("Dave" "is" "kind" "-")
triple7
((triple9) -> (rule2 % int1))
Dave is not kind.
("Dave" "is" "kind" "-")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
triple8
Dave is smart.
("Dave" "is" "smart" "+")
triple9
Dave is young.
("Dave" "is" "young" "+")
triple10
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple11
Fiona is not rough.
("Fiona" "is" "rough" "-")
triple13
Fiona is not white.
("Fiona" "is" "white" "-")
triple15
Fiona is not young.
("Fiona" "is" "young" "-")
triple16
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple12
Fiona is smart.
("Fiona" "is" "smart" "+")
triple14
Fiona is not kind.
("Fiona" "is" "kind" "-")
((triple14) -> (rule2 % int1))
Fiona is not kind.
("Fiona" "is" "kind" "-")
int1