Bob is blue. Bob is furry. Bob is not green. Bob is red. Bob is smart. Bob is white. Bob is not young. Dave is blue. Dave is not furry. Dave is not red. Dave is smart. Dave is not young. If Bob is not furry then Bob is white. If Bob is not smart then Bob is blue. If Dave is green and Dave is not smart then Dave is young. If someone is smart and not white then they are green. All smart, green people are not blue. Green, red people are young. If someone is green and not blue then they are red. If Bob is not red then Bob is young.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is not green.
("Bob" "is" "green" "-")
Bob is red.
("Bob" "is" "red" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is not young.
("Bob" "is" "young" "-")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is not furry.
("Dave" "is" "furry" "-")
Dave is not red.
("Dave" "is" "red" "-")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is not young.
("Dave" "is" "young" "-")
If Bob is not furry then Bob is white.
((("Bob" "is" "furry" "~")) -> ("Bob" "is" "white" "+"))
If Bob is not smart then Bob is blue.
((("Bob" "is" "smart" "~")) -> ("Bob" "is" "blue" "+"))
If Dave is green and Dave is not smart then Dave is young.
((("Dave" "is" "green" "+") ("Dave" "is" "smart" "~")) -> ("Dave" "is" "young" "+"))
If someone is smart and not white then they are green.
((("someone" "is" "smart" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "green" "+"))
All smart, green people are not blue.
((("someone" "is" "smart" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "-"))
Green, red people are young.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is green and not blue then they are red.
((("someone" "is" "green" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "red" "+"))
If Bob is not red then Bob is young.
((("Bob" "is" "red" "~")) -> ("Bob" "is" "young" "+"))
Bob is blue.
True
1
proof
[(triple1)]
("Bob" "is" "blue" "+")
triple1
Dave is young.
False
1
inv-proof
[(triple12)]
("Dave" "is" "young" "+")
triple12
Dave is not green.
Unknown
inv-rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "green" "-")
Dave is white.
Unknown
random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "+")
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is not green.[(triple3)] Bob is not young.[(triple7)] Bob is red.[(triple4)] Bob is smart.[(triple5)] Bob is white.[(triple6)] Dave is blue.[(triple8)] Dave is not furry.[(triple9)] Dave is not red.[(triple10)] Dave is not young.[(triple12)] Dave is smart.[(triple11)]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is not green.
("Bob" "is" "green" "-")
triple3
Bob is not young.
("Bob" "is" "young" "-")
triple7
Bob is red.
("Bob" "is" "red" "+")
triple4
Bob is smart.
("Bob" "is" "smart" "+")
triple5
Bob is white.
("Bob" "is" "white" "+")
triple6
Dave is blue.
("Dave" "is" "blue" "+")
triple8
Dave is not furry.
("Dave" "is" "furry" "-")
triple9
Dave is not red.
("Dave" "is" "red" "-")
triple10
Dave is not young.
("Dave" "is" "young" "-")
triple12
Dave is smart.
("Dave" "is" "smart" "+")
triple11