Bob is not furry. Bob is smart. Bob is white. If Bob is not smart then Bob is not white. If something is smart then it is not blue. All young, smart things are blue. If Bob is nice and Bob is furry then Bob is not blue. All nice, blue things are red. Blue, furry things are not red.
Bob is not furry.
("Bob" "is" "furry" "-")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
If Bob is not smart then Bob is not white.
((("Bob" "is" "smart" "~")) -> ("Bob" "is" "white" "-"))
If something is smart then it is not blue.
((("something" "is" "smart" "+")) -> ("something" "is" "blue" "-"))
All young, smart things are blue.
((("something" "is" "young" "+") ("something" "is" "smart" "+")) -> ("something" "is" "blue" "+"))
If Bob is nice and Bob is furry then Bob is not blue.
((("Bob" "is" "nice" "+") ("Bob" "is" "furry" "+")) -> ("Bob" "is" "blue" "-"))
All nice, blue things are red.
((("something" "is" "nice" "+") ("something" "is" "blue" "+")) -> ("something" "is" "red" "+"))
Blue, furry things are not red.
((("something" "is" "blue" "+") ("something" "is" "furry" "+")) -> ("something" "is" "red" "-"))
Bob is white.
True
1
proof
[(triple3)]
("Bob" "is" "white" "+")
triple3
Bob is furry.
False
1
inv-proof
[(triple1)]
("Bob" "is" "furry" "+")
triple1
Bob is not blue.
True
2
proof
[(((triple2) -> rule2))]
("Bob" "is" "blue" "-")
((triple2) -> (rule2 % int1))
Bob is not blue.
("Bob" "is" "blue" "-")
int1
Bob is blue.
False
2
inv-proof
[(((triple2) -> rule2))]
("Bob" "is" "blue" "+")
((triple2) -> (rule2 % int1))
Bob is not blue.
("Bob" "is" "blue" "-")
int1
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "red" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Bob is not furry.[(triple1)] Bob is smart.[(triple2)] Bob is white.[(triple3)] @1: Bob is not blue.[(((triple2) -> rule2))]
Bob is not furry.
("Bob" "is" "furry" "-")
triple1
Bob is smart.
("Bob" "is" "smart" "+")
triple2
Bob is white.
("Bob" "is" "white" "+")
triple3
Bob is not blue.
("Bob" "is" "blue" "-")
((triple2) -> (rule2 % int1))
Bob is not blue.
("Bob" "is" "blue" "-")
int1