Bob is furry. Rough, smart things are blue. If Bob is round and Bob is furry then Bob is red. All round things are smart. If something is furry and rough then it is smart. If something is smart and furry then it is rough. All furry, nice things are blue. All furry things are blue. If Bob is rough and Bob is red then Bob is nice.
Bob is furry.
("Bob" "is" "furry" "+")
Rough, smart things are blue.
((("something" "is" "rough" "+") ("something" "is" "smart" "+")) -> ("something" "is" "blue" "+"))
If Bob is round and Bob is furry then Bob is red.
((("Bob" "is" "round" "+") ("Bob" "is" "furry" "+")) -> ("Bob" "is" "red" "+"))
All round things are smart.
((("something" "is" "round" "+")) -> ("something" "is" "smart" "+"))
If something is furry and rough then it is smart.
((("something" "is" "furry" "+") ("something" "is" "rough" "+")) -> ("something" "is" "smart" "+"))
If something is smart and furry then it is rough.
((("something" "is" "smart" "+") ("something" "is" "furry" "+")) -> ("something" "is" "rough" "+"))
All furry, nice things are blue.
((("something" "is" "furry" "+") ("something" "is" "nice" "+")) -> ("something" "is" "blue" "+"))
All furry things are blue.
((("something" "is" "furry" "+")) -> ("something" "is" "blue" "+"))
If Bob is rough and Bob is red then Bob is nice.
((("Bob" "is" "rough" "+") ("Bob" "is" "red" "+")) -> ("Bob" "is" "nice" "+"))
Bob is furry.
True
1
proof
[(triple1)]
("Bob" "is" "furry" "+")
triple1
Bob is not furry.
False
1
inv-proof
[(triple1)]
("Bob" "is" "furry" "-")
triple1
Bob is blue.
True
2
proof
[(((triple1) -> rule7))]
("Bob" "is" "blue" "+")
((triple1) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is not blue.
False
2
inv-proof
[(((triple1) -> rule7))]
("Bob" "is" "blue" "-")
((triple1) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is not smart.
Unknown
inv-rconc
[@3: Bob is smart.[CWA. Example of deepest failure = (rule4 <- rule5 <- rule3 <- FAIL)]]
("Bob" "is" "smart" "-")
Bob is red.
Unknown
rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "red" "+")
@0: Bob is furry.[(triple1)] @1: Bob is blue.[(((triple1) -> rule7))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
((triple1) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1