Bob is big. Bob is cold. Bob is rough. White people are big. All white, furry people are nice. All smart people are rough. All smart, furry people are nice. Furry people are cold. Cold, rough people are furry.
Bob is big.
("Bob" "is" "big" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is rough.
("Bob" "is" "rough" "+")
White people are big.
((("someone" "is" "white" "+")) -> ("someone" "is" "big" "+"))
All white, furry people are nice.
((("someone" "is" "white" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "+"))
All smart people are rough.
((("someone" "is" "smart" "+")) -> ("someone" "is" "rough" "+"))
All smart, furry people are nice.
((("someone" "is" "smart" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "+"))
Furry people are cold.
((("someone" "is" "furry" "+")) -> ("someone" "is" "cold" "+"))
Cold, rough people are furry.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "furry" "+"))
Bob is cold.
True
1
proof
[(triple2)]
("Bob" "is" "cold" "+")
triple2
Bob is not cold.
False
1
inv-proof
[(triple2)]
("Bob" "is" "cold" "-")
triple2
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "nice" "-")
Bob is smart.
Unknown
random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "+")
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is rough.[(triple3)] @1: Bob is furry.[(((triple2 triple3) -> rule6))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Bob is furry.
("Bob" "is" "furry" "+")
((triple2 triple3) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1