Anne is green. Anne is nice. Anne is young. Charlie is not red. Gary is not big. Gary is red. Gary is white. If Charlie is young and Charlie is not white then Charlie is not nice. If someone is cold then they are red. If someone is green and not white then they are nice.
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is not red.
("Charlie" "is" "red" "-")
Gary is not big.
("Gary" "is" "big" "-")
Gary is red.
("Gary" "is" "red" "+")
Gary is white.
("Gary" "is" "white" "+")
If Charlie is young and Charlie is not white then Charlie is not nice.
((("Charlie" "is" "young" "+") ("Charlie" "is" "white" "~")) -> ("Charlie" "is" "nice" "-"))
If someone is cold then they are red.
((("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is green and not white then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "nice" "+"))
Anne is young.
True
1
proof
[(triple3)]
("Anne" "is" "young" "+")
triple3
Anne is not young.
False
1
inv-proof
[(triple3)]
("Anne" "is" "young" "-")
triple3
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "nice" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is young.[(triple3)] Charlie is not red.[(triple4)] Gary is not big.[(triple5)] Gary is red.[(triple6)] Gary is white.[(triple7)]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Charlie is not red.
("Charlie" "is" "red" "-")
triple4
Gary is not big.
("Gary" "is" "big" "-")
triple5
Gary is red.
("Gary" "is" "red" "+")
triple6
Gary is white.
("Gary" "is" "white" "+")
triple7