Bob is quiet. Charlie is kind. Dave is big. Fiona is furry. If something is big and not rough then it is furry. If something is quiet and not kind then it is furry.
Bob is quiet.
("Bob" "is" "quiet" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Dave is big.
("Dave" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
If something is big and not rough then it is furry.
((("something" "is" "big" "+") ("something" "is" "rough" "~")) -> ("something" "is" "furry" "+"))
If something is quiet and not kind then it is furry.
((("something" "is" "quiet" "+") ("something" "is" "kind" "~")) -> ("something" "is" "furry" "+"))
Dave is big.
True
1
proof
[(triple3)]
("Dave" "is" "big" "+")
triple3
Fiona is not furry.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "furry" "-")
triple4
Charlie is not furry.
Unknown
inv-rconc
[@1: Charlie is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "furry" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Bob is quiet.[(triple1)] Charlie is kind.[(triple2)] Dave is big.[(triple3)] Fiona is furry.[(triple4)]
Bob is quiet.
("Bob" "is" "quiet" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Dave is big.
("Dave" "is" "big" "+")
triple3
Fiona is furry.
("Fiona" "is" "furry" "+")
triple4