Anne is rough. Anne is smart. Anne is white. Anne is young. Bob is nice. Bob is not rough. Bob is not round. Bob is smart. Bob is white. Bob is not young. All white, round people are nice. Smart, furry people are not nice. If Anne is nice and Anne is not smart then Anne is white. If Bob is rough and Bob is not white then Bob is smart. If Anne is nice and Anne is furry then Anne is rough. White, round people are rough.
Anne is rough.
("Anne" "is" "rough" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is not rough.
("Bob" "is" "rough" "-")
Bob is not round.
("Bob" "is" "round" "-")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is not young.
("Bob" "is" "young" "-")
All white, round people are nice.
((("someone" "is" "white" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
Smart, furry people are not nice.
((("someone" "is" "smart" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "-"))
If Anne is nice and Anne is not smart then Anne is white.
((("Anne" "is" "nice" "+") ("Anne" "is" "smart" "~")) -> ("Anne" "is" "white" "+"))
If Bob is rough and Bob is not white then Bob is smart.
((("Bob" "is" "rough" "+") ("Bob" "is" "white" "~")) -> ("Bob" "is" "smart" "+"))
If Anne is nice and Anne is furry then Anne is rough.
((("Anne" "is" "nice" "+") ("Anne" "is" "furry" "+")) -> ("Anne" "is" "rough" "+"))
White, round people are rough.
((("someone" "is" "white" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
Anne is young.
True
1
proof
[(triple4)]
("Anne" "is" "young" "+")
triple4
Anne is not smart.
False
1
inv-proof
[(triple2)]
("Anne" "is" "smart" "-")
triple2
Anne is not nice.
Unknown
inv-rconc
[@1: Anne is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "nice" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
@0: Anne is rough.[(triple1)] Anne is smart.[(triple2)] Anne is white.[(triple3)] Anne is young.[(triple4)] Bob is nice.[(triple5)] Bob is not rough.[(triple6)] Bob is not round.[(triple7)] Bob is not young.[(triple10)] Bob is smart.[(triple8)] Bob is white.[(triple9)]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Anne is smart.
("Anne" "is" "smart" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
Bob is nice.
("Bob" "is" "nice" "+")
triple5
Bob is not rough.
("Bob" "is" "rough" "-")
triple6
Bob is not round.
("Bob" "is" "round" "-")
triple7
Bob is not young.
("Bob" "is" "young" "-")
triple10
Bob is smart.
("Bob" "is" "smart" "+")
triple8
Bob is white.
("Bob" "is" "white" "+")
triple9