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