Anne is kind. Bob is kind. Gary is nice. All kind, white things are rough. If Bob is smart then Bob is rough. All kind, nice things are smart. If Gary is nice and Gary is cold then Gary is kind. Nice, rough things are cold. If Bob is cold and Bob is round then Bob is white.
Anne is kind.
("Anne" "is" "kind" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
All kind, white things are rough.
((("something" "is" "kind" "+") ("something" "is" "white" "+")) -> ("something" "is" "rough" "+"))
If Bob is smart then Bob is rough.
((("Bob" "is" "smart" "+")) -> ("Bob" "is" "rough" "+"))
All kind, nice things are smart.
((("something" "is" "kind" "+") ("something" "is" "nice" "+")) -> ("something" "is" "smart" "+"))
If Gary is nice and Gary is cold then Gary is kind.
((("Gary" "is" "nice" "+") ("Gary" "is" "cold" "+")) -> ("Gary" "is" "kind" "+"))
Nice, rough things are cold.
((("something" "is" "nice" "+") ("something" "is" "rough" "+")) -> ("something" "is" "cold" "+"))
If Bob is cold and Bob is round then Bob is white.
((("Bob" "is" "cold" "+") ("Bob" "is" "round" "+")) -> ("Bob" "is" "white" "+"))
Gary is nice.
True
1
proof
[(triple3)]
("Gary" "is" "nice" "+")
triple3
Bob is not kind.
False
1
inv-proof
[(triple2)]
("Bob" "is" "kind" "-")
triple2
Anne is not smart.
Unknown
inv-rconc
[@1: Anne is smart.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "smart" "-")
Gary is white.
Unknown
random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "+")
@0: Anne is kind.[(triple1)] Bob is kind.[(triple2)] Gary is nice.[(triple3)]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Gary is nice.
("Gary" "is" "nice" "+")
triple3