Anne is big. Anne is not furry. Anne is not round. Charlie is furry. Charlie is not green. Charlie is round. Dave is big. Dave is blue. Dave is green. Dave is white. Gary is not big. Gary is green. Gary is kind. Gary is round. Gary is white. If Anne is green and Anne is blue then Anne is furry. If Gary is not round and Gary is not big then Gary is not blue. If Anne is kind then Anne is blue.
Anne is big.
("Anne" "is" "big" "+")
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is not round.
("Anne" "is" "round" "-")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is not green.
("Charlie" "is" "green" "-")
Charlie is round.
("Charlie" "is" "round" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is white.
("Dave" "is" "white" "+")
Gary is not big.
("Gary" "is" "big" "-")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
If Anne is green and Anne is blue then Anne is furry.
((("Anne" "is" "green" "+") ("Anne" "is" "blue" "+")) -> ("Anne" "is" "furry" "+"))
If Gary is not round and Gary is not big then Gary is not blue.
((("Gary" "is" "round" "~") ("Gary" "is" "big" "~")) -> ("Gary" "is" "blue" "-"))
If Anne is kind then Anne is blue.
((("Anne" "is" "kind" "+")) -> ("Anne" "is" "blue" "+"))
Dave is big.
True
1
proof
[(triple7)]
("Dave" "is" "big" "+")
triple7
Gary is not kind.
False
1
inv-proof
[(triple13)]
("Gary" "is" "kind" "-")
triple13
Anne is not blue.
Unknown
inv-rconc
[@1: Anne is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "blue" "-")
Dave is furry.
Unknown
random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "+")
@0: Anne is big.[(triple1)] Anne is not furry.[(triple2)] Anne is not round.[(triple3)] Charlie is furry.[(triple4)] Charlie is not green.[(triple5)] Charlie is round.[(triple6)] Dave is big.[(triple7)] Dave is blue.[(triple8)] Dave is green.[(triple9)] Dave is white.[(triple10)] Gary is green.[(triple12)] Gary is kind.[(triple13)] Gary is not big.[(triple11)] Gary is round.[(triple14)] Gary is white.[(triple15)]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is not furry.
("Anne" "is" "furry" "-")
triple2
Anne is not round.
("Anne" "is" "round" "-")
triple3
Charlie is furry.
("Charlie" "is" "furry" "+")
triple4
Charlie is not green.
("Charlie" "is" "green" "-")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple6
Dave is big.
("Dave" "is" "big" "+")
triple7
Dave is blue.
("Dave" "is" "blue" "+")
triple8
Dave is green.
("Dave" "is" "green" "+")
triple9
Dave is white.
("Dave" "is" "white" "+")
triple10
Gary is green.
("Gary" "is" "green" "+")
triple12
Gary is kind.
("Gary" "is" "kind" "+")
triple13
Gary is not big.
("Gary" "is" "big" "-")
triple11
Gary is round.
("Gary" "is" "round" "+")
triple14
Gary is white.
("Gary" "is" "white" "+")
triple15