Dave is green. Fiona is green. Gary is white. Smart, nice people are young. If someone is nice then they are rough. If Fiona is smart and Fiona is green then Fiona is nice. If Gary is rough and Gary is white then Gary is smart. All white, red people are smart. If someone is smart and red then they are rough.
Dave is green.
("Dave" "is" "green" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Gary is white.
("Gary" "is" "white" "+")
Smart, nice people are young.
((("someone" "is" "smart" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is nice then they are rough.
((("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If Fiona is smart and Fiona is green then Fiona is nice.
((("Fiona" "is" "smart" "+") ("Fiona" "is" "green" "+")) -> ("Fiona" "is" "nice" "+"))
If Gary is rough and Gary is white then Gary is smart.
((("Gary" "is" "rough" "+") ("Gary" "is" "white" "+")) -> ("Gary" "is" "smart" "+"))
All white, red people are smart.
((("someone" "is" "white" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "smart" "+"))
If someone is smart and red then they are rough.
((("someone" "is" "smart" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
Dave is green.
True
1
proof
[(triple1)]
("Dave" "is" "green" "+")
triple1
Dave is not green.
False
1
inv-proof
[(triple1)]
("Dave" "is" "green" "-")
triple1
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "young" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Dave is green.[(triple1)] Fiona is green.[(triple2)] Gary is white.[(triple3)]
Dave is green.
("Dave" "is" "green" "+")
triple1
Fiona is green.
("Fiona" "is" "green" "+")
triple2
Gary is white.
("Gary" "is" "white" "+")
triple3