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