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