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