Anne is furry. Bob is green. Dave is kind. Gary is kind. If someone is furry and young then they are green. All kind people are young.
Anne is furry.
("Anne" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If someone is furry and young then they are green.
((("someone" "is" "furry" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
All kind people are young.
((("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
Dave is kind.
True
1
proof
[(triple3)]
("Dave" "is" "kind" "+")
triple3
Gary is not kind.
False
1
inv-proof
[(triple4)]
("Gary" "is" "kind" "-")
triple4
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "young" "-")
Anne is kind.
Unknown
random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "+")
@0: Anne is furry.[(triple1)] Bob is green.[(triple2)] Dave is kind.[(triple3)] Gary is kind.[(triple4)] @1: Dave is young.[(((triple3) -> rule2))] Gary is young.[(((triple4) -> rule2))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
Dave is kind.
("Dave" "is" "kind" "+")
triple3
Gary is kind.
("Gary" "is" "kind" "+")
triple4
Dave is young.
("Dave" "is" "young" "+")
((triple3) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple4) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1