Bob is not kind. Bob is nice. Bob is smart. Gary is big. Gary is kind. Gary is nice. Gary is rough. If something is nice then it is smart. All cold things are young.
Bob is not kind.
("Bob" "is" "kind" "-")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is rough.
("Gary" "is" "rough" "+")
If something is nice then it is smart.
((("something" "is" "nice" "+")) -> ("something" "is" "smart" "+"))
All cold things are young.
((("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
Bob is smart.
True
1
proof
[(triple3 OR ((triple2) -> rule1))]
("Bob" "is" "smart" "+")
triple3
((triple2) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is not smart.
False
1
inv-proof
[(triple3 OR ((triple2) -> rule1))]
("Bob" "is" "smart" "-")
triple3
((triple2) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Gary is smart.
True
2
proof
[(((triple6) -> rule1))]
("Gary" "is" "smart" "+")
((triple6) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is not smart.
False
2
inv-proof
[(((triple6) -> rule1))]
("Gary" "is" "smart" "-")
((triple6) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "young" "-")
Bob is young.
Unknown
rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "young" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Bob is nice.[(triple2)] Bob is not kind.[(triple1)] Bob is smart.[(triple3 OR ((triple2) -> rule1))] Gary is big.[(triple4)] Gary is kind.[(triple5)] Gary is nice.[(triple6)] Gary is rough.[(triple7)] @1: Gary is smart.[(((triple6) -> rule1))]
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is not kind.
("Bob" "is" "kind" "-")
triple1
Bob is smart.
("Bob" "is" "smart" "+")
triple3
((triple2) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
triple4
Gary is kind.
("Gary" "is" "kind" "+")
triple5
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Gary is smart.
("Gary" "is" "smart" "+")
((triple6) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1