Bob is not big. Bob is blue. Bob is furry. Bob is not kind. Bob is not smart. Erin is big. Erin is blue. Erin is furry. Erin is kind. Erin is not round. Erin is not smart. Erin is white. If Bob is round then Bob is not kind. If someone is blue and not furry then they are round.
Bob is not big.
("Bob" "is" "big" "-")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is not kind.
("Bob" "is" "kind" "-")
Bob is not smart.
("Bob" "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 not round.
("Erin" "is" "round" "-")
Erin is not smart.
("Erin" "is" "smart" "-")
Erin is white.
("Erin" "is" "white" "+")
If Bob is round then Bob is not kind.
((("Bob" "is" "round" "+")) -> ("Bob" "is" "kind" "-"))
If someone is blue and not furry then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "round" "+"))
Bob is blue.
True
1
proof
[(triple2)]
("Bob" "is" "blue" "+")
triple2
Bob is kind.
False
1
inv-proof
[(triple4)]
("Bob" "is" "kind" "+")
triple4
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "round" "-")
Bob is white.
Unknown
random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "+")
@0: Bob is blue.[(triple2)] Bob is furry.[(triple3)] Bob is not big.[(triple1)] Bob is not kind.[(triple4)] Bob is not smart.[(triple5)] Erin is big.[(triple6)] Erin is blue.[(triple7)] Erin is furry.[(triple8)] Erin is kind.[(triple9)] Erin is not round.[(triple10)] Erin is not smart.[(triple11)] Erin is white.[(triple12)]
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is furry.
("Bob" "is" "furry" "+")
triple3
Bob is not big.
("Bob" "is" "big" "-")
triple1
Bob is not kind.
("Bob" "is" "kind" "-")
triple4
Bob is not smart.
("Bob" "is" "smart" "-")
triple5
Erin is big.
("Erin" "is" "big" "+")
triple6
Erin is blue.
("Erin" "is" "blue" "+")
triple7
Erin is furry.
("Erin" "is" "furry" "+")
triple8
Erin is kind.
("Erin" "is" "kind" "+")
triple9
Erin is not round.
("Erin" "is" "round" "-")
triple10
Erin is not smart.
("Erin" "is" "smart" "-")
triple11
Erin is white.
("Erin" "is" "white" "+")
triple12