Bob is not furry. Bob is green. Bob is quiet. Bob is rough. Bob is smart. Charlie is green. Dave is furry. Dave is not green. Dave is not quiet. Dave is round. Dave is not smart. Dave is white. Fiona is not green. Fiona is quiet. Fiona is not round. Fiona is not white. If someone is white and not rough then they are smart. If Charlie is not quiet then Charlie is green.
Bob is not furry.
("Bob" "is" "furry" "-")
Bob is green.
("Bob" "is" "green" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is not green.
("Dave" "is" "green" "-")
Dave is not quiet.
("Dave" "is" "quiet" "-")
Dave is round.
("Dave" "is" "round" "+")
Dave is not smart.
("Dave" "is" "smart" "-")
Dave is white.
("Dave" "is" "white" "+")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is not round.
("Fiona" "is" "round" "-")
Fiona is not white.
("Fiona" "is" "white" "-")
If someone is white and not rough then they are smart.
((("someone" "is" "white" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "smart" "+"))
If Charlie is not quiet then Charlie is green.
((("Charlie" "is" "quiet" "~")) -> ("Charlie" "is" "green" "+"))
Bob is not furry.
True
1
proof
[(triple1)]
("Bob" "is" "furry" "-")
triple1
Bob is not quiet.
False
1
inv-proof
[(triple3)]
("Bob" "is" "quiet" "-")
triple3
Fiona is not smart.
Unknown
inv-rconc
[@1: Fiona is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "smart" "-")
Bob is white.
Unknown
random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "+")
@0: Bob is green.[(triple2)] Bob is not furry.[(triple1)] Bob is quiet.[(triple3)] Bob is rough.[(triple4)] Bob is smart.[(triple5)] Charlie is green.[(triple6)] Dave is furry.[(triple7)] Dave is not green.[(triple8)] Dave is not quiet.[(triple9)] Dave is not smart.[(triple11)] Dave is round.[(triple10)] Dave is white.[(triple12)] Fiona is not green.[(triple13)] Fiona is not round.[(triple15)] Fiona is not white.[(triple16)] Fiona is quiet.[(triple14)]
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is not furry.
("Bob" "is" "furry" "-")
triple1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Bob is smart.
("Bob" "is" "smart" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple6
Dave is furry.
("Dave" "is" "furry" "+")
triple7
Dave is not green.
("Dave" "is" "green" "-")
triple8
Dave is not quiet.
("Dave" "is" "quiet" "-")
triple9
Dave is not smart.
("Dave" "is" "smart" "-")
triple11
Dave is round.
("Dave" "is" "round" "+")
triple10
Dave is white.
("Dave" "is" "white" "+")
triple12
Fiona is not green.
("Fiona" "is" "green" "-")
triple13
Fiona is not round.
("Fiona" "is" "round" "-")
triple15
Fiona is not white.
("Fiona" "is" "white" "-")
triple16
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple14