Bob is big. Bob is not blue. Bob is not furry. Bob is kind. Bob is red. Bob is not smart. Bob is white. Erin is furry. Erin is not kind. Erin is red. Gary is big. Gary is blue. Gary is not furry. Gary is kind. Gary is red. Gary is white. If Gary is white and Gary is smart then Gary is not blue. All blue things are red. If Bob is blue then Bob is not big. If Bob is furry then Bob is not kind. Red, furry things are white. If Bob is smart then Bob is not furry.
Bob is big.
("Bob" "is" "big" "+")
Bob is not blue.
("Bob" "is" "blue" "-")
Bob is not furry.
("Bob" "is" "furry" "-")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is not smart.
("Bob" "is" "smart" "-")
Bob is white.
("Bob" "is" "white" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is not kind.
("Erin" "is" "kind" "-")
Erin is red.
("Erin" "is" "red" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is not furry.
("Gary" "is" "furry" "-")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is white.
("Gary" "is" "white" "+")
If Gary is white and Gary is smart then Gary is not blue.
((("Gary" "is" "white" "+") ("Gary" "is" "smart" "+")) -> ("Gary" "is" "blue" "-"))
All blue things are red.
((("something" "is" "blue" "+")) -> ("something" "is" "red" "+"))
If Bob is blue then Bob is not big.
((("Bob" "is" "blue" "+")) -> ("Bob" "is" "big" "-"))
If Bob is furry then Bob is not kind.
((("Bob" "is" "furry" "+")) -> ("Bob" "is" "kind" "-"))
Red, furry things are white.
((("something" "is" "red" "+") ("something" "is" "furry" "+")) -> ("something" "is" "white" "+"))
If Bob is smart then Bob is not furry.
((("Bob" "is" "smart" "+")) -> ("Bob" "is" "furry" "-"))
Bob is not furry.
True
1
proof
[(triple3)]
("Bob" "is" "furry" "-")
triple3
Gary is furry.
False
1
inv-proof
[(triple13)]
("Gary" "is" "furry" "+")
triple13
Erin is white.
True
3
proof
[(((triple10 triple8) -> rule5))]
("Erin" "is" "white" "+")
((triple10 triple8) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is not white.
False
3
inv-proof
[(((triple10 triple8) -> rule5))]
("Erin" "is" "white" "-")
((triple10 triple8) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is not big.
Unknown
inv-random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "-")
Erin is blue.
Unknown
random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "+")
Erin is not smart.
Unknown
inv-random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "-")
Gary is smart.
Unknown
random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "+")
@0: Bob is big.[(triple1)] Bob is kind.[(triple4)] Bob is not blue.[(triple2)] Bob is not furry.[(triple3)] Bob is not smart.[(triple6)] Bob is red.[(triple5)] Bob is white.[(triple7)] Erin is furry.[(triple8)] Erin is not kind.[(triple9)] Erin is red.[(triple10)] Gary is big.[(triple11)] Gary is blue.[(triple12)] Gary is kind.[(triple14)] Gary is not furry.[(triple13)] Gary is red.[(triple15 OR ((triple12) -> rule2))] Gary is white.[(triple16)] @1: Erin is white.[(((triple10 triple8) -> rule5))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple4
Bob is not blue.
("Bob" "is" "blue" "-")
triple2
Bob is not furry.
("Bob" "is" "furry" "-")
triple3
Bob is not smart.
("Bob" "is" "smart" "-")
triple6
Bob is red.
("Bob" "is" "red" "+")
triple5
Bob is white.
("Bob" "is" "white" "+")
triple7
Erin is furry.
("Erin" "is" "furry" "+")
triple8
Erin is not kind.
("Erin" "is" "kind" "-")
triple9
Erin is red.
("Erin" "is" "red" "+")
triple10
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is blue.
("Gary" "is" "blue" "+")
triple12
Gary is kind.
("Gary" "is" "kind" "+")
triple14
Gary is not furry.
("Gary" "is" "furry" "-")
triple13
Gary is red.
("Gary" "is" "red" "+")
triple15
((triple12) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
triple16
Erin is white.
("Erin" "is" "white" "+")
((triple10 triple8) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1