Bob is blue. Bob is kind. Bob is rough. If someone is blue and kind then they are not green. Red people are blue. If someone is young and not rough then they are blue. If someone is white and green then they are blue. If Bob is blue and Bob is not kind then Bob is not green. All green, rough people are young.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is rough.
("Bob" "is" "rough" "+")
If someone is blue and kind then they are not green.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "-"))
Red people are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and not rough then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "blue" "+"))
If someone is white and green then they are blue.
((("someone" "is" "white" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If Bob is blue and Bob is not kind then Bob is not green.
((("Bob" "is" "blue" "+") ("Bob" "is" "kind" "~")) -> ("Bob" "is" "green" "-"))
All green, rough people are young.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
Bob is blue.
True
1
proof
[(triple1)]
("Bob" "is" "blue" "+")
triple1
Bob is not kind.
False
1
inv-proof
[(triple2)]
("Bob" "is" "kind" "-")
triple2
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "young" "-")
Bob is white.
Unknown
random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "+")
@0: Bob is blue.[(triple1)] Bob is kind.[(triple2)] Bob is rough.[(triple3)] @1: Bob is not green.[(((triple1 triple2) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Bob is not green.
("Bob" "is" "green" "-")
((triple1 triple2) -> (rule1 % int1))
Bob is not green.
("Bob" "is" "green" "-")
int1