Dave is round. Gary is not furry. Harry is blue. All quiet, furry people are not rough. If Gary is round and Gary is young then Gary is blue.
Dave is round.
("Dave" "is" "round" "+")
Gary is not furry.
("Gary" "is" "furry" "-")
Harry is blue.
("Harry" "is" "blue" "+")
All quiet, furry people are not rough.
((("someone" "is" "quiet" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "rough" "-"))
If Gary is round and Gary is young then Gary is blue.
((("Gary" "is" "round" "+") ("Gary" "is" "young" "+")) -> ("Gary" "is" "blue" "+"))
Dave is round.
True
1
proof
[(triple1)]
("Dave" "is" "round" "+")
triple1
Dave is not round.
False
1
inv-proof
[(triple1)]
("Dave" "is" "round" "-")
triple1
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "blue" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
@0: Dave is round.[(triple1)] Gary is not furry.[(triple2)] Harry is blue.[(triple3)]
Dave is round.
("Dave" "is" "round" "+")
triple1
Gary is not furry.
("Gary" "is" "furry" "-")
triple2
Harry is blue.
("Harry" "is" "blue" "+")
triple3