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