Anne is not blue. Anne is furry. Bob is nice. Bob is smart. Bob is young. Charlie is furry. Charlie is not nice. Charlie is smart. Dave is white. Dave is not young. All red things are smart. Nice, blue things are furry. All blue, red things are nice.
Anne is not blue.
("Anne" "is" "blue" "-")
Anne is furry.
("Anne" "is" "furry" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is not nice.
("Charlie" "is" "nice" "-")
Charlie is smart.
("Charlie" "is" "smart" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is not young.
("Dave" "is" "young" "-")
All red things are smart.
((("something" "is" "red" "+")) -> ("something" "is" "smart" "+"))
Nice, blue things are furry.
((("something" "is" "nice" "+") ("something" "is" "blue" "+")) -> ("something" "is" "furry" "+"))
All blue, red things are nice.
((("something" "is" "blue" "+") ("something" "is" "red" "+")) -> ("something" "is" "nice" "+"))
Charlie is furry.
True
1
proof
[(triple6)]
("Charlie" "is" "furry" "+")
triple6
Charlie is nice.
False
1
inv-proof
[(triple7)]
("Charlie" "is" "nice" "+")
triple7
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "nice" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Anne is furry.[(triple2)] Anne is not blue.[(triple1)] Bob is nice.[(triple3)] Bob is smart.[(triple4)] Bob is young.[(triple5)] Charlie is furry.[(triple6)] Charlie is not nice.[(triple7)] Charlie is smart.[(triple8)] Dave is not young.[(triple10)] Dave is white.[(triple9)]
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is not blue.
("Anne" "is" "blue" "-")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is smart.
("Bob" "is" "smart" "+")
triple4
Bob is young.
("Bob" "is" "young" "+")
triple5
Charlie is furry.
("Charlie" "is" "furry" "+")
triple6
Charlie is not nice.
("Charlie" "is" "nice" "-")
triple7
Charlie is smart.
("Charlie" "is" "smart" "+")
triple8
Dave is not young.
("Dave" "is" "young" "-")
triple10
Dave is white.
("Dave" "is" "white" "+")
triple9