Dave is nice. Fiona is nice. Gary is furry. If something is round then it is furry. All nice things are not furry. All red things are not rough. All rough things are red. If something is round and not white then it is red. White, rough things are red. White things are red. If Gary is rough and Gary is round then Gary is furry.
Dave is nice.
("Dave" "is" "nice" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Gary is furry.
("Gary" "is" "furry" "+")
If something is round then it is furry.
((("something" "is" "round" "+")) -> ("something" "is" "furry" "+"))
All nice things are not furry.
((("something" "is" "nice" "+")) -> ("something" "is" "furry" "-"))
All red things are not rough.
((("something" "is" "red" "+")) -> ("something" "is" "rough" "-"))
All rough things are red.
((("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
If something is round and not white then it is red.
((("something" "is" "round" "+") ("something" "is" "white" "~")) -> ("something" "is" "red" "+"))
White, rough things are red.
((("something" "is" "white" "+") ("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
White things are red.
((("something" "is" "white" "+")) -> ("something" "is" "red" "+"))
If Gary is rough and Gary is round then Gary is furry.
((("Gary" "is" "rough" "+") ("Gary" "is" "round" "+")) -> ("Gary" "is" "furry" "+"))
Dave is nice.
True
1
proof
[(triple1)]
("Dave" "is" "nice" "+")
triple1
Dave is not nice.
False
1
inv-proof
[(triple1)]
("Dave" "is" "nice" "-")
triple1
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "red" "-")
Dave is white.
Unknown
random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "+")
@0: Dave is nice.[(triple1)] Fiona is nice.[(triple2)] Gary is furry.[(triple3)] @1: Dave is not furry.[(((triple1) -> rule2))] Fiona is not furry.[(((triple2) -> rule2))]
Dave is nice.
("Dave" "is" "nice" "+")
triple1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple2
Gary is furry.
("Gary" "is" "furry" "+")
triple3
Dave is not furry.
("Dave" "is" "furry" "-")
((triple1) -> (rule2 % int1))
Dave is not furry.
("Dave" "is" "furry" "-")
int1
Fiona is not furry.
("Fiona" "is" "furry" "-")
((triple2) -> (rule2 % int1))
Fiona is not furry.
("Fiona" "is" "furry" "-")
int1