Bob is blue. Bob is cold. Bob is rough. Bob is white. Erin is cold. Erin is rough. Erin is white. Fiona is blue. Fiona is cold. Fiona is rough. Fiona is white. Gary is blue. Gary is red. Gary is rough. Gary is white. If Bob is big and Bob is cold then Bob is red.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is white.
("Bob" "is" "white" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is white.
("Gary" "is" "white" "+")
If Bob is big and Bob is cold then Bob is red.
((("Bob" "is" "big" "+") ("Bob" "is" "cold" "+")) -> ("Bob" "is" "red" "+"))
Fiona is rough.
True
1
proof
[(triple10)]
("Fiona" "is" "rough" "+")
triple10
Bob is not blue.
False
1
inv-proof
[(triple1)]
("Bob" "is" "blue" "-")
triple1
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "red" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is rough.[(triple3)] Bob is white.[(triple4)] Erin is cold.[(triple5)] Erin is rough.[(triple6)] Erin is white.[(triple7)] Fiona is blue.[(triple8)] Fiona is cold.[(triple9)] Fiona is rough.[(triple10)] Fiona is white.[(triple11)] Gary is blue.[(triple12)] Gary is red.[(triple13)] Gary is rough.[(triple14)] Gary is white.[(triple15)]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Bob is white.
("Bob" "is" "white" "+")
triple4
Erin is cold.
("Erin" "is" "cold" "+")
triple5
Erin is rough.
("Erin" "is" "rough" "+")
triple6
Erin is white.
("Erin" "is" "white" "+")
triple7
Fiona is blue.
("Fiona" "is" "blue" "+")
triple8
Fiona is cold.
("Fiona" "is" "cold" "+")
triple9
Fiona is rough.
("Fiona" "is" "rough" "+")
triple10
Fiona is white.
("Fiona" "is" "white" "+")
triple11
Gary is blue.
("Gary" "is" "blue" "+")
triple12
Gary is red.
("Gary" "is" "red" "+")
triple13
Gary is rough.
("Gary" "is" "rough" "+")
triple14
Gary is white.
("Gary" "is" "white" "+")
triple15