Anne is big. Gary is not quiet. Harry is quiet. Big people are not quiet. If someone is cold and white then they are nice. If Gary is white and Gary is not nice then Gary is rough.
Anne is big.
("Anne" "is" "big" "+")
Gary is not quiet.
("Gary" "is" "quiet" "-")
Harry is quiet.
("Harry" "is" "quiet" "+")
Big people are not quiet.
((("someone" "is" "big" "+")) -> ("someone" "is" "quiet" "-"))
If someone is cold and white then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "nice" "+"))
If Gary is white and Gary is not nice then Gary is rough.
((("Gary" "is" "white" "+") ("Gary" "is" "nice" "~")) -> ("Gary" "is" "rough" "+"))
Harry is quiet.
True
1
proof
[(triple3)]
("Harry" "is" "quiet" "+")
triple3
Harry is not quiet.
False
1
inv-proof
[(triple3)]
("Harry" "is" "quiet" "-")
triple3
Anne is not quiet.
True
2
proof
[(((triple1) -> rule1))]
("Anne" "is" "quiet" "-")
((triple1) -> (rule1 % int1))
Anne is not quiet.
("Anne" "is" "quiet" "-")
int1
Anne is quiet.
False
2
inv-proof
[(((triple1) -> rule1))]
("Anne" "is" "quiet" "+")
((triple1) -> (rule1 % int1))
Anne is not quiet.
("Anne" "is" "quiet" "-")
int1
Anne is not nice.
Unknown
inv-rconc
[@1: Anne is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "nice" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "nice" "+")
Anne is not white.
Unknown
inv-random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "-")
Harry is white.
Unknown
random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "+")
@0: Anne is big.[(triple1)] Gary is not quiet.[(triple2)] Harry is quiet.[(triple3)] @1: Anne is not quiet.[(((triple1) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Gary is not quiet.
("Gary" "is" "quiet" "-")
triple2
Harry is quiet.
("Harry" "is" "quiet" "+")
triple3
Anne is not quiet.
("Anne" "is" "quiet" "-")
((triple1) -> (rule1 % int1))
Anne is not quiet.
("Anne" "is" "quiet" "-")
int1