Bob is kind. Charlie is kind. Gary is not kind. If someone is white and young then they are not kind. Cold people are young. If someone is white then they are cold. If someone is kind and not young then they are rough. If Bob is furry and Bob is not kind then Bob is not round. If someone is kind and not white then they are round. If someone is kind and not young then they are round. If someone is young and not rough then they are round.
Bob is kind.
("Bob" "is" "kind" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Gary is not kind.
("Gary" "is" "kind" "-")
If someone is white and young then they are not kind.
((("someone" "is" "white" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "-"))
Cold people are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is white then they are cold.
((("someone" "is" "white" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and not young then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "rough" "+"))
If Bob is furry and Bob is not kind then Bob is not round.
((("Bob" "is" "furry" "+") ("Bob" "is" "kind" "~")) -> ("Bob" "is" "round" "-"))
If someone is kind and not white then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "round" "+"))
If someone is kind and not young then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "round" "+"))
If someone is young and not rough then they are round.
((("someone" "is" "young" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "round" "+"))
Gary is not kind.
True
1
proof
[(triple3)]
("Gary" "is" "kind" "-")
triple3
Charlie is not kind.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "kind" "-")
triple2
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "rough" "-")
Charlie is furry.
Unknown
random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "+")
@0: Bob is kind.[(triple1)] Charlie is kind.[(triple2)] Gary is not kind.[(triple3)]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Gary is not kind.
("Gary" "is" "kind" "-")
triple3