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