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