Dave is blue. Fiona is nice. Gary is green. Cold, nice things are blue. Cold, young things are round. All rough, young things are blue. Blue, nice things are cold. If Gary is nice and Gary is green then Gary is round. If Gary is cold and Gary is blue then Gary is green. If Dave is young and Dave is nice then Dave is rough. If Gary is nice and Gary is cold then Gary is young.
Dave is blue.
("Dave" "is" "blue" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Gary is green.
("Gary" "is" "green" "+")
Cold, nice things are blue.
((("something" "is" "cold" "+") ("something" "is" "nice" "+")) -> ("something" "is" "blue" "+"))
Cold, young things are round.
((("something" "is" "cold" "+") ("something" "is" "young" "+")) -> ("something" "is" "round" "+"))
All rough, young things are blue.
((("something" "is" "rough" "+") ("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
Blue, nice things are cold.
((("something" "is" "blue" "+") ("something" "is" "nice" "+")) -> ("something" "is" "cold" "+"))
If Gary is nice and Gary is green then Gary is round.
((("Gary" "is" "nice" "+") ("Gary" "is" "green" "+")) -> ("Gary" "is" "round" "+"))
If Gary is cold and Gary is blue then Gary is green.
((("Gary" "is" "cold" "+") ("Gary" "is" "blue" "+")) -> ("Gary" "is" "green" "+"))
If Dave is young and Dave is nice then Dave is rough.
((("Dave" "is" "young" "+") ("Dave" "is" "nice" "+")) -> ("Dave" "is" "rough" "+"))
If Gary is nice and Gary is cold then Gary is young.
((("Gary" "is" "nice" "+") ("Gary" "is" "cold" "+")) -> ("Gary" "is" "young" "+"))
Gary is green.
True
1
proof
[(triple3)]
("Gary" "is" "green" "+")
triple3
Fiona is not nice.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "nice" "-")
triple2
Gary is not round.
Unknown
inv-rconc
[@2: Gary is round.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Gary" "is" "round" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
@0: Dave is blue.[(triple1)] Fiona is nice.[(triple2)] Gary is green.[(triple3)]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple2
Gary is green.
("Gary" "is" "green" "+")
triple3