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