Bob is young. If something is red and not round then it is white. Kind things are rough. If something is rough and not round then it is red. If something is white and not round then it is kind. If Bob is round and Bob is not red then Bob is not young. White, nice things are young. If something is kind and rough then it is young. All young, rough things are nice.
Bob is young.
("Bob" "is" "young" "+")
If something is red and not round then it is white.
((("something" "is" "red" "+") ("something" "is" "round" "~")) -> ("something" "is" "white" "+"))
Kind things are rough.
((("something" "is" "kind" "+")) -> ("something" "is" "rough" "+"))
If something is rough and not round then it is red.
((("something" "is" "rough" "+") ("something" "is" "round" "~")) -> ("something" "is" "red" "+"))
If something is white and not round then it is kind.
((("something" "is" "white" "+") ("something" "is" "round" "~")) -> ("something" "is" "kind" "+"))
If Bob is round and Bob is not red then Bob is not young.
((("Bob" "is" "round" "+") ("Bob" "is" "red" "~")) -> ("Bob" "is" "young" "-"))
White, nice things are young.
((("something" "is" "white" "+") ("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
If something is kind and rough then it is young.
((("something" "is" "kind" "+") ("something" "is" "rough" "+")) -> ("something" "is" "young" "+"))
All young, rough things are nice.
((("something" "is" "young" "+") ("something" "is" "rough" "+")) -> ("something" "is" "nice" "+"))
Bob is young.
True
1
proof
[(triple1)]
("Bob" "is" "young" "+")
triple1
Bob is not young.
False
1
inv-proof
[(triple1)]
("Bob" "is" "young" "-")
triple1
Bob is not white.
Unknown
inv-rconc
[@1: Bob is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "white" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Bob is young.[(triple1)]
Bob is young.
("Bob" "is" "young" "+")
triple1