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