Bob is furry. Bob is not rough. Fiona is quiet. Fiona is not white. Gary is blue. Gary is quiet. Gary is round. If someone is rough and quiet then they are not blue. If someone is furry and not white then they are round.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is not rough.
("Bob" "is" "rough" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is not white.
("Fiona" "is" "white" "-")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is round.
("Gary" "is" "round" "+")
If someone is rough and quiet then they are not blue.
((("someone" "is" "rough" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "blue" "-"))
If someone is furry and not white then they are round.
((("someone" "is" "furry" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "round" "+"))
Gary is blue.
True
1
proof
[(triple5)]
("Gary" "is" "blue" "+")
triple5
Gary is not blue.
False
1
inv-proof
[(triple5)]
("Gary" "is" "blue" "-")
triple5
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "round" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Bob is furry.[(triple1)] Bob is not rough.[(triple2)] Fiona is not white.[(triple4)] Fiona is quiet.[(triple3)] Gary is blue.[(triple5)] Gary is quiet.[(triple6)] Gary is round.[(triple7)]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is not rough.
("Bob" "is" "rough" "-")
triple2
Fiona is not white.
("Fiona" "is" "white" "-")
triple4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple3
Gary is blue.
("Gary" "is" "blue" "+")
triple5
Gary is quiet.
("Gary" "is" "quiet" "+")
triple6
Gary is round.
("Gary" "is" "round" "+")
triple7