Bob is not blue. Bob is furry. Bob is not young. Dave is quiet. Dave is not rough. Dave is white. Dave is not young. Erin is furry. Erin is young. Gary is blue. Gary is not furry. Gary is quiet. All furry people are smart. Rough people are furry.
Bob is not blue.
("Bob" "is" "blue" "-")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is not young.
("Bob" "is" "young" "-")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is not rough.
("Dave" "is" "rough" "-")
Dave is white.
("Dave" "is" "white" "+")
Dave is not young.
("Dave" "is" "young" "-")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is not furry.
("Gary" "is" "furry" "-")
Gary is quiet.
("Gary" "is" "quiet" "+")
All furry people are smart.
((("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "+"))
Rough people are furry.
((("someone" "is" "rough" "+")) -> ("someone" "is" "furry" "+"))
Dave is quiet.
True
1
proof
[(triple4)]
("Dave" "is" "quiet" "+")
triple4
Erin is not furry.
False
1
inv-proof
[(triple8)]
("Erin" "is" "furry" "-")
triple8
Bob is smart.
True
2
proof
[(((triple2) -> rule1))]
("Bob" "is" "smart" "+")
((triple2) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Erin is not smart.
False
2
inv-proof
[(((triple8) -> rule1))]
("Erin" "is" "smart" "-")
((triple8) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Dave is not smart.
Unknown
inv-rconc
[@2: Dave is smart.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Dave" "is" "smart" "-")
Gary is smart.
Unknown
rconc
[@1: Gary is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "smart" "+")
Bob is not white.
Unknown
inv-random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
@0: Bob is furry.[(triple2)] Bob is not blue.[(triple1)] Bob is not young.[(triple3)] Dave is not rough.[(triple5)] Dave is not young.[(triple7)] Dave is quiet.[(triple4)] Dave is white.[(triple6)] Erin is furry.[(triple8)] Erin is young.[(triple9)] Gary is blue.[(triple10)] Gary is not furry.[(triple11)] Gary is quiet.[(triple12)] @1: Bob is smart.[(((triple2) -> rule1))] Erin is smart.[(((triple8) -> rule1))]
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is not blue.
("Bob" "is" "blue" "-")
triple1
Bob is not young.
("Bob" "is" "young" "-")
triple3
Dave is not rough.
("Dave" "is" "rough" "-")
triple5
Dave is not young.
("Dave" "is" "young" "-")
triple7
Dave is quiet.
("Dave" "is" "quiet" "+")
triple4
Dave is white.
("Dave" "is" "white" "+")
triple6
Erin is furry.
("Erin" "is" "furry" "+")
triple8
Erin is young.
("Erin" "is" "young" "+")
triple9
Gary is blue.
("Gary" "is" "blue" "+")
triple10
Gary is not furry.
("Gary" "is" "furry" "-")
triple11
Gary is quiet.
("Gary" "is" "quiet" "+")
triple12
Bob is smart.
("Bob" "is" "smart" "+")
((triple2) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
((triple8) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1