Anne is rough. Dave is young. Erin is rough. Gary is not young. If someone is rough and not red then they are not young. Young, red people are white. All young people are furry.
Anne is rough.
("Anne" "is" "rough" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Gary is not young.
("Gary" "is" "young" "-")
If someone is rough and not red then they are not young.
((("someone" "is" "rough" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "young" "-"))
Young, red people are white.
((("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
All young people are furry.
((("someone" "is" "young" "+")) -> ("someone" "is" "furry" "+"))
Anne is rough.
True
1
proof
[(triple1)]
("Anne" "is" "rough" "+")
triple1
Dave is not young.
False
1
inv-proof
[(triple2)]
("Dave" "is" "young" "-")
triple2
Anne is not furry.
Unknown
inv-rconc
[@1: Anne is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "furry" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
@0: Anne is rough.[(triple1)] Dave is young.[(triple2)] Erin is rough.[(triple3)] Gary is not young.[(triple4)] @1: Dave is furry.[(((triple2) -> rule3))]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Dave is young.
("Dave" "is" "young" "+")
triple2
Erin is rough.
("Erin" "is" "rough" "+")
triple3
Gary is not young.
("Gary" "is" "young" "-")
triple4
Dave is furry.
("Dave" "is" "furry" "+")
((triple2) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1