Anne is green. Anne is kind. Anne is not rough. Dave is green. Dave is round. Gary is kind. Gary is not round. Gary is smart. Harry is not green. Harry is round. If something is green and not kind then it is smart. Round, rough things are quiet. If something is furry then it is green.
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is not rough.
("Anne" "is" "rough" "-")
Dave is green.
("Dave" "is" "green" "+")
Dave is round.
("Dave" "is" "round" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is not round.
("Gary" "is" "round" "-")
Gary is smart.
("Gary" "is" "smart" "+")
Harry is not green.
("Harry" "is" "green" "-")
Harry is round.
("Harry" "is" "round" "+")
If something is green and not kind then it is smart.
((("something" "is" "green" "+") ("something" "is" "kind" "~")) -> ("something" "is" "smart" "+"))
Round, rough things are quiet.
((("something" "is" "round" "+") ("something" "is" "rough" "+")) -> ("something" "is" "quiet" "+"))
If something is furry then it is green.
((("something" "is" "furry" "+")) -> ("something" "is" "green" "+"))
Dave is green.
True
1
proof
[(triple4)]
("Dave" "is" "green" "+")
triple4
Gary is round.
False
1
inv-proof
[(triple7)]
("Gary" "is" "round" "+")
triple7
Gary is not quiet.
Unknown
inv-rconc
[@1: Gary is quiet.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "quiet" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
@0: Anne is green.[(triple1)] Anne is kind.[(triple2)] Anne is not rough.[(triple3)] Dave is green.[(triple4)] Dave is round.[(triple5)] Gary is kind.[(triple6)] Gary is not round.[(triple7)] Gary is smart.[(triple8)] Harry is not green.[(triple9)] Harry is round.[(triple10)]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is not rough.
("Anne" "is" "rough" "-")
triple3
Dave is green.
("Dave" "is" "green" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple5
Gary is kind.
("Gary" "is" "kind" "+")
triple6
Gary is not round.
("Gary" "is" "round" "-")
triple7
Gary is smart.
("Gary" "is" "smart" "+")
triple8
Harry is not green.
("Harry" "is" "green" "-")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple10