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