Bob is quiet. Dave is cold. Dave is green. Dave is quiet. Dave is smart. Dave is not young. Gary is cold. Gary is smart. Gary is not white. Gary is young. If someone is green and not round then they are white. If someone is white then they are green. If Bob is white and Bob is green then Bob is smart.
Bob is quiet.
("Bob" "is" "quiet" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is not young.
("Dave" "is" "young" "-")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is not white.
("Gary" "is" "white" "-")
Gary is young.
("Gary" "is" "young" "+")
If someone is green and not round then they are white.
((("someone" "is" "green" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "white" "+"))
If someone is white then they are green.
((("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
If Bob is white and Bob is green then Bob is smart.
((("Bob" "is" "white" "+") ("Bob" "is" "green" "+")) -> ("Bob" "is" "smart" "+"))
Dave is green.
True
1
proof
[(triple3)]
("Dave" "is" "green" "+")
triple3
Dave is not quiet.
False
1
inv-proof
[(triple4)]
("Dave" "is" "quiet" "-")
triple4
Bob is not white.
Unknown
inv-rconc
[@1: Bob is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "white" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
@0: Bob is quiet.[(triple1)] Dave is cold.[(triple2)] Dave is green.[(triple3)] Dave is not young.[(triple6)] Dave is quiet.[(triple4)] Dave is smart.[(triple5)] Gary is cold.[(triple7)] Gary is not white.[(triple9)] Gary is smart.[(triple8)] Gary is young.[(triple10)]
Bob is quiet.
("Bob" "is" "quiet" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple2
Dave is green.
("Dave" "is" "green" "+")
triple3
Dave is not young.
("Dave" "is" "young" "-")
triple6
Dave is quiet.
("Dave" "is" "quiet" "+")
triple4
Dave is smart.
("Dave" "is" "smart" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Gary is not white.
("Gary" "is" "white" "-")
triple9
Gary is smart.
("Gary" "is" "smart" "+")
triple8
Gary is young.
("Gary" "is" "young" "+")
triple10