Bob is cold. Bob is rough. Bob is young. Dave is cold. Dave is rough. Dave is smart. Dave is young. Gary is smart. Gary is not white. Gary is young. If someone is cold then they are not kind. Rough, smart people are white. If someone is kind then they are not white. If Gary is big and Gary is cold then Gary is not young. If someone is kind then they are cold. If someone is kind and not cold then they are young. If someone is smart and not big then they are young. If someone is white and not kind then they are young.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is young.
("Dave" "is" "young" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is not white.
("Gary" "is" "white" "-")
Gary is young.
("Gary" "is" "young" "+")
If someone is cold then they are not kind.
((("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "-"))
Rough, smart people are white.
((("someone" "is" "rough" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "white" "+"))
If someone is kind then they are not white.
((("someone" "is" "kind" "+")) -> ("someone" "is" "white" "-"))
If Gary is big and Gary is cold then Gary is not young.
((("Gary" "is" "big" "+") ("Gary" "is" "cold" "+")) -> ("Gary" "is" "young" "-"))
If someone is kind then they are cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and not cold then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "young" "+"))
If someone is smart and not big then they are young.
((("someone" "is" "smart" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "young" "+"))
If someone is white and not kind then they are young.
((("someone" "is" "white" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "young" "+"))
Dave is smart.
True
1
proof
[(triple6)]
("Dave" "is" "smart" "+")
triple6
Gary is white.
False
1
inv-proof
[(triple9)]
("Gary" "is" "white" "+")
triple9
Dave is white.
True
3
proof
[(((triple5 triple6) -> rule2))]
("Dave" "is" "white" "+")
((triple5 triple6) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Bob is kind.
False
2
inv-proof
[(((triple1) -> rule1))]
("Bob" "is" "kind" "+")
((triple1) -> (rule1 % int1))
Bob is not kind.
("Bob" "is" "kind" "-")
int1
Bob is not white.
Unknown
inv-rconc
[@1: Bob is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "white" "-")
Gary is cold.
Unknown
rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "cold" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Bob is smart.
Unknown
random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "+")
@0: Bob is cold.[(triple1)] Bob is rough.[(triple2)] Bob is young.[(triple3)] Dave is cold.[(triple4)] Dave is rough.[(triple5)] Dave is smart.[(triple6)] Dave is young.[(triple7 OR ((((triple5 triple6) -> rule2) ((triple4) -> rule1)) -> rule8))] Gary is not white.[(triple9)] Gary is smart.[(triple8)] Gary is young.[(triple10)] @1: Bob is not kind.[(((triple1) -> rule1))] Dave is not kind.[(((triple4) -> rule1))] Dave is white.[(((triple5 triple6) -> rule2))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple3
Dave is cold.
("Dave" "is" "cold" "+")
triple4
Dave is rough.
("Dave" "is" "rough" "+")
triple5
Dave is smart.
("Dave" "is" "smart" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple7
((((triple5 triple6) -> (rule2 % int3)) ((triple4) -> (rule1 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is not kind.
("Dave" "is" "kind" "-")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Gary is not white.
("Gary" "is" "white" "-")
triple9
Gary is smart.
("Gary" "is" "smart" "+")
triple8
Gary is young.
("Gary" "is" "young" "+")
triple10
Bob is not kind.
("Bob" "is" "kind" "-")
((triple1) -> (rule1 % int1))
Bob is not kind.
("Bob" "is" "kind" "-")
int1
Dave is not kind.
("Dave" "is" "kind" "-")
((triple4) -> (rule1 % int1))
Dave is not kind.
("Dave" "is" "kind" "-")
int1
Dave is white.
("Dave" "is" "white" "+")
((triple5 triple6) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1