Anne is round. Erin is furry. Gary is quiet. Quiet things are young. Quiet things are rough. If Anne is not smart then Anne is not young. If something is rough and not quiet then it is furry. If Gary is rough and Gary is not quiet then Gary is not furry. Quiet things are round.
Anne is round.
("Anne" "is" "round" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Quiet things are young.
((("something" "is" "quiet" "+")) -> ("something" "is" "young" "+"))
Quiet things are rough.
((("something" "is" "quiet" "+")) -> ("something" "is" "rough" "+"))
If Anne is not smart then Anne is not young.
((("Anne" "is" "smart" "~")) -> ("Anne" "is" "young" "-"))
If something is rough and not quiet then it is furry.
((("something" "is" "rough" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "furry" "+"))
If Gary is rough and Gary is not quiet then Gary is not furry.
((("Gary" "is" "rough" "+") ("Gary" "is" "quiet" "~")) -> ("Gary" "is" "furry" "-"))
Quiet things are round.
((("something" "is" "quiet" "+")) -> ("something" "is" "round" "+"))
Anne is round.
True
1
proof
[(triple1)]
("Anne" "is" "round" "+")
triple1
Anne is not round.
False
1
inv-proof
[(triple1)]
("Anne" "is" "round" "-")
triple1
Gary is rough.
True
2
proof
[(((triple3) -> rule2))]
("Gary" "is" "rough" "+")
((triple3) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is not young.
False
2
inv-proof
[(((triple3) -> rule1))]
("Gary" "is" "young" "-")
((triple3) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Erin is not young.
Unknown
inv-rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "young" "-")
Erin is round.
Unknown
rconc
[@1: Erin is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Erin" "is" "round" "+")
Erin is not quiet.
Unknown
inv-random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
@0: Anne is round.[(triple1)] Erin is furry.[(triple2)] Gary is quiet.[(triple3)] @1: Gary is rough.[(((triple3) -> rule2))] Gary is round.[(((triple3) -> rule6))] Gary is young.[(((triple3) -> rule1))]
Anne is round.
("Anne" "is" "round" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Gary is quiet.
("Gary" "is" "quiet" "+")
triple3
Gary is rough.
("Gary" "is" "rough" "+")
((triple3) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple3) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple3) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1