Bob is kind. If someone is blue then they are not big. If someone is cold and not red then they are big. Red, furry people are not big. All round people are cold. If someone is round and blue then they are cold. If Bob is not furry then Bob is big.
Bob is kind.
("Bob" "is" "kind" "+")
If someone is blue then they are not big.
((("someone" "is" "blue" "+")) -> ("someone" "is" "big" "-"))
If someone is cold and not red then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "big" "+"))
Red, furry people are not big.
((("someone" "is" "red" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "big" "-"))
All round people are cold.
((("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and blue then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If Bob is not furry then Bob is big.
((("Bob" "is" "furry" "~")) -> ("Bob" "is" "big" "+"))
Bob is kind.
True
1
proof
[(triple1)]
("Bob" "is" "kind" "+")
triple1
Bob is not kind.
False
1
inv-proof
[(triple1)]
("Bob" "is" "kind" "-")
triple1
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "big" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Bob is kind.[(triple1)]
Bob is kind.
("Bob" "is" "kind" "+")
triple1