Anne is nice. Erin is red. Fiona is green. Fiona is nice. Fiona is quiet. Gary is nice. Gary is quiet. If Gary is cold and Gary is red then Gary is blue. All quiet, big things are nice.
Anne is nice.
("Anne" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
If Gary is cold and Gary is red then Gary is blue.
((("Gary" "is" "cold" "+") ("Gary" "is" "red" "+")) -> ("Gary" "is" "blue" "+"))
All quiet, big things are nice.
((("something" "is" "quiet" "+") ("something" "is" "big" "+")) -> ("something" "is" "nice" "+"))
Gary is quiet.
True
1
proof
[(triple7)]
("Gary" "is" "quiet" "+")
triple7
Erin is not red.
False
1
inv-proof
[(triple2)]
("Erin" "is" "red" "-")
triple2
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "blue" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Anne is nice.[(triple1)] Erin is red.[(triple2)] Fiona is green.[(triple3)] Fiona is nice.[(triple4)] Fiona is quiet.[(triple5)] Gary is nice.[(triple6)] Gary is quiet.[(triple7)]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Erin is red.
("Erin" "is" "red" "+")
triple2
Fiona is green.
("Fiona" "is" "green" "+")
triple3
Fiona is nice.
("Fiona" "is" "nice" "+")
triple4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple5
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Gary is quiet.
("Gary" "is" "quiet" "+")
triple7