Dave is cold. Dave is furry. Dave is rough. If something is furry then it is cold. If something is quiet then it is red. Red, rough things are nice.
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is rough.
("Dave" "is" "rough" "+")
If something is furry then it is cold.
((("something" "is" "furry" "+")) -> ("something" "is" "cold" "+"))
If something is quiet then it is red.
((("something" "is" "quiet" "+")) -> ("something" "is" "red" "+"))
Red, rough things are nice.
((("something" "is" "red" "+") ("something" "is" "rough" "+")) -> ("something" "is" "nice" "+"))
Dave is rough.
True
1
proof
[(triple3)]
("Dave" "is" "rough" "+")
triple3
Dave is not rough.
False
1
inv-proof
[(triple3)]
("Dave" "is" "rough" "-")
triple3
Dave is not red.
Unknown
inv-rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "red" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
@0: Dave is cold.[(triple1 OR ((triple2) -> rule1))] Dave is furry.[(triple2)] Dave is rough.[(triple3)]
Dave is cold.
("Dave" "is" "cold" "+")
triple1
((triple2) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
triple2
Dave is rough.
("Dave" "is" "rough" "+")
triple3