Bob is white. Gary is not white. White people are red. All young people are big. All blue people are white. If Bob is red then Bob is not kind. If Bob is young then Bob is kind. If Bob is white and Bob is not young then Bob is big. If Gary is young and Gary is blue then Gary is big. If Gary is big and Gary is not white then Gary is rough.
Bob is white.
("Bob" "is" "white" "+")
Gary is not white.
("Gary" "is" "white" "-")
White people are red.
((("someone" "is" "white" "+")) -> ("someone" "is" "red" "+"))
All young people are big.
((("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
All blue people are white.
((("someone" "is" "blue" "+")) -> ("someone" "is" "white" "+"))
If Bob is red then Bob is not kind.
((("Bob" "is" "red" "+")) -> ("Bob" "is" "kind" "-"))
If Bob is young then Bob is kind.
((("Bob" "is" "young" "+")) -> ("Bob" "is" "kind" "+"))
If Bob is white and Bob is not young then Bob is big.
((("Bob" "is" "white" "+") ("Bob" "is" "young" "~")) -> ("Bob" "is" "big" "+"))
If Gary is young and Gary is blue then Gary is big.
((("Gary" "is" "young" "+") ("Gary" "is" "blue" "+")) -> ("Gary" "is" "big" "+"))
If Gary is big and Gary is not white then Gary is rough.
((("Gary" "is" "big" "+") ("Gary" "is" "white" "~")) -> ("Gary" "is" "rough" "+"))
Bob is white.
True
1
proof
[(triple1)]
("Bob" "is" "white" "+")
triple1
Bob is not white.
False
1
inv-proof
[(triple1)]
("Bob" "is" "white" "-")
triple1
Bob is red.
True
2
proof
[(((triple1) -> rule1))]
("Bob" "is" "red" "+")
((triple1) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is not red.
False
2
inv-proof
[(((triple1) -> rule1))]
("Bob" "is" "red" "-")
((triple1) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "big" "-")
Gary is red.
Unknown
rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "red" "+")
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Bob is white.[(triple1)] Gary is not white.[(triple2)] @1: Bob is red.[(((triple1) -> rule1))] @2: Bob is not kind.[(((((triple1) -> rule1)) -> rule4))]
Bob is white.
("Bob" "is" "white" "+")
triple1
Gary is not white.
("Gary" "is" "white" "-")
triple2
Bob is red.
("Bob" "is" "red" "+")
((triple1) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is not kind.
("Bob" "is" "kind" "-")
((((triple1) -> (rule1 % int2))) -> (rule4 % int1))
Bob is not kind.
("Bob" "is" "kind" "-")
int1
Bob is red.
("Bob" "is" "red" "+")
int2