Bob is cold. Bob is white. Charlie is blue. Charlie is smart. Dave is blue. Gary is blue. Gary is cold. White, green people are rough.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
White, green people are rough.
((("someone" "is" "white" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
Bob is cold.
True
1
proof
[(triple1)]
("Bob" "is" "cold" "+")
triple1
Gary is not blue.
False
1
inv-proof
[(triple6)]
("Gary" "is" "blue" "-")
triple6
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "rough" "-")
Gary is smart.
Unknown
random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "+")
@0: Bob is cold.[(triple1)] Bob is white.[(triple2)] Charlie is blue.[(triple3)] Charlie is smart.[(triple4)] Dave is blue.[(triple5)] Gary is blue.[(triple6)] Gary is cold.[(triple7)]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is white.
("Bob" "is" "white" "+")
triple2
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Charlie is smart.
("Charlie" "is" "smart" "+")
triple4
Dave is blue.
("Dave" "is" "blue" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple7