Anne is blue. Erin is green. Fiona is green. Gary is nice. If Anne is quiet then Anne is kind. If someone is young then they are green.
Anne is blue.
("Anne" "is" "blue" "+")
Erin is green.
("Erin" "is" "green" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
If Anne is quiet then Anne is kind.
((("Anne" "is" "quiet" "+")) -> ("Anne" "is" "kind" "+"))
If someone is young then they are green.
((("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
Erin is green.
True
1
proof
[(triple2)]
("Erin" "is" "green" "+")
triple2
Anne is not blue.
False
1
inv-proof
[(triple1)]
("Anne" "is" "blue" "-")
triple1
Gary is not green.
Unknown
inv-rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "green" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Anne is blue.[(triple1)] Erin is green.[(triple2)] Fiona is green.[(triple3)] Gary is nice.[(triple4)]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Erin is green.
("Erin" "is" "green" "+")
triple2
Fiona is green.
("Fiona" "is" "green" "+")
triple3
Gary is nice.
("Gary" "is" "nice" "+")
triple4