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