Anne is not furry. Bob is not big. Bob is round. Charlie is blue. Charlie is furry. Dave is blue. Dave is smart. If Anne is blue then Anne is not green. Green, big things are blue. If Anne is not kind then Anne is not round.
Anne is not furry.
("Anne" "is" "furry" "-")
Bob is not big.
("Bob" "is" "big" "-")
Bob is round.
("Bob" "is" "round" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is smart.
("Dave" "is" "smart" "+")
If Anne is blue then Anne is not green.
((("Anne" "is" "blue" "+")) -> ("Anne" "is" "green" "-"))
Green, big things are blue.
((("something" "is" "green" "+") ("something" "is" "big" "+")) -> ("something" "is" "blue" "+"))
If Anne is not kind then Anne is not round.
((("Anne" "is" "kind" "~")) -> ("Anne" "is" "round" "-"))
Dave is blue.
True
1
proof
[(triple6)]
("Dave" "is" "blue" "+")
triple6
Dave is not smart.
False
1
inv-proof
[(triple7)]
("Dave" "is" "smart" "-")
triple7
Bob is not blue.
Unknown
inv-rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "blue" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Anne is not furry.[(triple1)] Bob is not big.[(triple2)] Bob is round.[(triple3)] Charlie is blue.[(triple4)] Charlie is furry.[(triple5)] Dave is blue.[(triple6)] Dave is smart.[(triple7)]
Anne is not furry.
("Anne" "is" "furry" "-")
triple1
Bob is not big.
("Bob" "is" "big" "-")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple3
Charlie is blue.
("Charlie" "is" "blue" "+")
triple4
Charlie is furry.
("Charlie" "is" "furry" "+")
triple5
Dave is blue.
("Dave" "is" "blue" "+")
triple6
Dave is smart.
("Dave" "is" "smart" "+")
triple7