Bob is furry. Bob is nice. Bob is not rough. Bob is smart. Fiona is big. Fiona is not blue. Fiona is furry. Fiona is green. Fiona is rough. Fiona is smart. All furry, blue things are nice. If Bob is not green then Bob is furry. If something is green and not big then it is rough. If Bob is furry then Bob is nice. If Fiona is furry and Fiona is big then Fiona is green. If something is rough and not green then it is smart.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is not rough.
("Bob" "is" "rough" "-")
Bob is smart.
("Bob" "is" "smart" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is not blue.
("Fiona" "is" "blue" "-")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
All furry, blue things are nice.
((("something" "is" "furry" "+") ("something" "is" "blue" "+")) -> ("something" "is" "nice" "+"))
If Bob is not green then Bob is furry.
((("Bob" "is" "green" "~")) -> ("Bob" "is" "furry" "+"))
If something is green and not big then it is rough.
((("something" "is" "green" "+") ("something" "is" "big" "~")) -> ("something" "is" "rough" "+"))
If Bob is furry then Bob is nice.
((("Bob" "is" "furry" "+")) -> ("Bob" "is" "nice" "+"))
If Fiona is furry and Fiona is big then Fiona is green.
((("Fiona" "is" "furry" "+") ("Fiona" "is" "big" "+")) -> ("Fiona" "is" "green" "+"))
If something is rough and not green then it is smart.
((("something" "is" "rough" "+") ("something" "is" "green" "~")) -> ("something" "is" "smart" "+"))
Fiona is furry.
True
1
proof
[(triple7)]
("Fiona" "is" "furry" "+")
triple7
Fiona is not big.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "big" "-")
triple5
Fiona is not nice.
Unknown
inv-rconc
[@1: Fiona is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "nice" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Bob is furry.[(triple1)] Bob is nice.[(triple2 OR ((triple1) -> rule4))] Bob is not rough.[(triple3)] Bob is smart.[(triple4)] Fiona is big.[(triple5)] Fiona is furry.[(triple7)] Fiona is green.[(triple8 OR ((triple7 triple5) -> rule5))] Fiona is not blue.[(triple6)] Fiona is rough.[(triple9)] Fiona is smart.[(triple10)]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple2
((triple1) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is not rough.
("Bob" "is" "rough" "-")
triple3
Bob is smart.
("Bob" "is" "smart" "+")
triple4
Fiona is big.
("Fiona" "is" "big" "+")
triple5
Fiona is furry.
("Fiona" "is" "furry" "+")
triple7
Fiona is green.
("Fiona" "is" "green" "+")
triple8
((triple7 triple5) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple6
Fiona is rough.
("Fiona" "is" "rough" "+")
triple9
Fiona is smart.
("Fiona" "is" "smart" "+")
triple10