Dave is white. Erin is kind. Gary is green. If someone is young then they are furry. If someone is young and not round then they are not big. If Dave is furry then Dave is not kind.
Dave is white.
("Dave" "is" "white" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
If someone is young then they are furry.
((("someone" "is" "young" "+")) -> ("someone" "is" "furry" "+"))
If someone is young and not round then they are not big.
((("someone" "is" "young" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "big" "-"))
If Dave is furry then Dave is not kind.
((("Dave" "is" "furry" "+")) -> ("Dave" "is" "kind" "-"))
Gary is green.
True
1
proof
[(triple3)]
("Gary" "is" "green" "+")
triple3
Erin is not kind.
False
1
inv-proof
[(triple2)]
("Erin" "is" "kind" "-")
triple2
Erin is not furry.
Unknown
inv-rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "furry" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Dave is white.[(triple1)] Erin is kind.[(triple2)] Gary is green.[(triple3)]
Dave is white.
("Dave" "is" "white" "+")
triple1
Erin is kind.
("Erin" "is" "kind" "+")
triple2
Gary is green.
("Gary" "is" "green" "+")
triple3