Bob is not young. If Bob is nice and Bob is smart then Bob is young. If someone is round then they are blue. If someone is blue and not kind then they are rough. If someone is round then they are nice. If someone is blue and not kind then they are young. If Bob is nice and Bob is not young then Bob is not rough.
Bob is not young.
("Bob" "is" "young" "-")
If Bob is nice and Bob is smart then Bob is young.
((("Bob" "is" "nice" "+") ("Bob" "is" "smart" "+")) -> ("Bob" "is" "young" "+"))
If someone is round then they are blue.
((("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and not kind then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "rough" "+"))
If someone is round then they are nice.
((("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and not kind then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "young" "+"))
If Bob is nice and Bob is not young then Bob is not rough.
((("Bob" "is" "nice" "+") ("Bob" "is" "young" "~")) -> ("Bob" "is" "rough" "-"))
Bob is not young.
True
1
proof
[(triple1)]
("Bob" "is" "young" "-")
triple1
Bob is young.
False
1
inv-proof
[(triple1)]
("Bob" "is" "young" "+")
triple1
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "rough" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Bob is not young.[(triple1)]
Bob is not young.
("Bob" "is" "young" "-")
triple1