Anne is green. Gary is not red. If someone is furry and not round then they are green. All blue people are young. If Anne is big and Anne is blue then Anne is green.
Anne is green.
("Anne" "is" "green" "+")
Gary is not red.
("Gary" "is" "red" "-")
If someone is furry and not round then they are green.
((("someone" "is" "furry" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "green" "+"))
All blue people are young.
((("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If Anne is big and Anne is blue then Anne is green.
((("Anne" "is" "big" "+") ("Anne" "is" "blue" "+")) -> ("Anne" "is" "green" "+"))
Anne is green.
True
1
proof
[(triple1)]
("Anne" "is" "green" "+")
triple1
Anne is not green.
False
1
inv-proof
[(triple1)]
("Anne" "is" "green" "-")
triple1
Anne is not young.
Unknown
inv-rconc
[@1: Anne is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "young" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Anne is green.[(triple1)] Gary is not red.[(triple2)]
Anne is green.
("Anne" "is" "green" "+")
triple1
Gary is not red.
("Gary" "is" "red" "-")
triple2