Bob is round. Charlie is cold. Dave is white. Erin is rough. All blue, cold people are white. If Bob is blue and Bob is smart then Bob is red.
Bob is round.
("Bob" "is" "round" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is rough.
("Erin" "is" "rough" "+")
All blue, cold people are white.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "white" "+"))
If Bob is blue and Bob is smart then Bob is red.
((("Bob" "is" "blue" "+") ("Bob" "is" "smart" "+")) -> ("Bob" "is" "red" "+"))
Charlie is cold.
True
1
proof
[(triple2)]
("Charlie" "is" "cold" "+")
triple2
Bob is not round.
False
1
inv-proof
[(triple1)]
("Bob" "is" "round" "-")
triple1
Bob is not white.
Unknown
inv-rconc
[@1: Bob is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "white" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Bob is round.[(triple1)] Charlie is cold.[(triple2)] Dave is white.[(triple3)] Erin is rough.[(triple4)]
Bob is round.
("Bob" "is" "round" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Dave is white.
("Dave" "is" "white" "+")
triple3
Erin is rough.
("Erin" "is" "rough" "+")
triple4