Bob is smart. Bob is white. Dave is big. Dave is blue. Dave is furry. Dave is kind. Dave is not round. Dave is not smart. Erin is big. Erin is blue. Erin is furry. Erin is kind. Erin is round. Erin is not white. Gary is furry. Gary is smart. White people are not furry. If Bob is blue then Bob is not big. All white people are blue. All white, furry people are kind. If Gary is smart and Gary is not blue then Gary is kind. All white, kind people are not round.
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is not round.
("Dave" "is" "round" "-")
Dave is not smart.
("Dave" "is" "smart" "-")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is not white.
("Erin" "is" "white" "-")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is smart.
("Gary" "is" "smart" "+")
White people are not furry.
((("someone" "is" "white" "+")) -> ("someone" "is" "furry" "-"))
If Bob is blue then Bob is not big.
((("Bob" "is" "blue" "+")) -> ("Bob" "is" "big" "-"))
All white people are blue.
((("someone" "is" "white" "+")) -> ("someone" "is" "blue" "+"))
All white, furry people are kind.
((("someone" "is" "white" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "kind" "+"))
If Gary is smart and Gary is not blue then Gary is kind.
((("Gary" "is" "smart" "+") ("Gary" "is" "blue" "~")) -> ("Gary" "is" "kind" "+"))
All white, kind people are not round.
((("someone" "is" "white" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "-"))
Erin is furry.
True
1
proof
[(triple11)]
("Erin" "is" "furry" "+")
triple11
Dave is not kind.
False
1
inv-proof
[(triple6)]
("Dave" "is" "kind" "-")
triple6
Bob is not furry.
True
2
proof
[(((triple2) -> rule1))]
("Bob" "is" "furry" "-")
((triple2) -> (rule1 % int1))
Bob is not furry.
("Bob" "is" "furry" "-")
int1
Bob is not blue.
False
2
inv-proof
[(((triple2) -> rule3))]
("Bob" "is" "blue" "-")
((triple2) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is not big.
True
3
proof
[(((((triple2) -> rule3)) -> rule2))]
("Bob" "is" "big" "-")
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Bob is not big.
("Bob" "is" "big" "-")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is big.
False
3
inv-proof
[(((((triple2) -> rule3)) -> rule2))]
("Bob" "is" "big" "+")
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Bob is not big.
("Bob" "is" "big" "-")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "blue" "-")
Gary is kind.
Unknown
rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "kind" "+")
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "kind" "-")
Dave is white.
Unknown
random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "+")
Gary is not white.
Unknown
inv-random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Bob is smart.[(triple1)] Bob is white.[(triple2)] Dave is big.[(triple3)] Dave is blue.[(triple4)] Dave is furry.[(triple5)] Dave is kind.[(triple6)] Dave is not round.[(triple7)] Dave is not smart.[(triple8)] Erin is big.[(triple9)] Erin is blue.[(triple10)] Erin is furry.[(triple11)] Erin is kind.[(triple12)] Erin is not white.[(triple14)] Erin is round.[(triple13)] Gary is furry.[(triple15)] Gary is smart.[(triple16)] @1: Bob is blue.[(((triple2) -> rule3))] Bob is not furry.[(((triple2) -> rule1))] @2: Bob is not big.[(((((triple2) -> rule3)) -> rule2))]
Bob is smart.
("Bob" "is" "smart" "+")
triple1
Bob is white.
("Bob" "is" "white" "+")
triple2
Dave is big.
("Dave" "is" "big" "+")
triple3
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Dave is furry.
("Dave" "is" "furry" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Dave is not round.
("Dave" "is" "round" "-")
triple7
Dave is not smart.
("Dave" "is" "smart" "-")
triple8
Erin is big.
("Erin" "is" "big" "+")
triple9
Erin is blue.
("Erin" "is" "blue" "+")
triple10
Erin is furry.
("Erin" "is" "furry" "+")
triple11
Erin is kind.
("Erin" "is" "kind" "+")
triple12
Erin is not white.
("Erin" "is" "white" "-")
triple14
Erin is round.
("Erin" "is" "round" "+")
triple13
Gary is furry.
("Gary" "is" "furry" "+")
triple15
Gary is smart.
("Gary" "is" "smart" "+")
triple16
Bob is blue.
("Bob" "is" "blue" "+")
((triple2) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is not furry.
("Bob" "is" "furry" "-")
((triple2) -> (rule1 % int1))
Bob is not furry.
("Bob" "is" "furry" "-")
int1
Bob is not big.
("Bob" "is" "big" "-")
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Bob is not big.
("Bob" "is" "big" "-")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2