Bob is blue. Bob is nice. Bob is not rough. Kind, furry people are round. Cold, nice people are furry. Round, blue people are not furry. Kind people are not nice. Blue, round people are kind. If Bob is kind and Bob is cold then Bob is nice.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is not rough.
("Bob" "is" "rough" "-")
Kind, furry people are round.
((("someone" "is" "kind" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "round" "+"))
Cold, nice people are furry.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "furry" "+"))
Round, blue people are not furry.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "-"))
Kind people are not nice.
((("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "-"))
Blue, round people are kind.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If Bob is kind and Bob is cold then Bob is nice.
((("Bob" "is" "kind" "+") ("Bob" "is" "cold" "+")) -> ("Bob" "is" "nice" "+"))
Bob is nice.
True
1
proof
[(triple2)]
("Bob" "is" "nice" "+")
triple2
Bob is rough.
False
1
inv-proof
[(triple3)]
("Bob" "is" "rough" "+")
triple3
Bob is not furry.
Unknown
inv-rconc
[@1: Bob is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "furry" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Bob is blue.[(triple1)] Bob is nice.[(triple2)] Bob is not rough.[(triple3)]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is not rough.
("Bob" "is" "rough" "-")
triple3