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