Anne is quiet. If someone is green then they are cold. If Anne is blue and Anne is smart then Anne is green. Quiet people are furry. If Anne is quiet then Anne is blue. All cold, quiet people are smart. All cold people are young.
Anne is quiet.
("Anne" "is" "quiet" "+")
If someone is green then they are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If Anne is blue and Anne is smart then Anne is green.
((("Anne" "is" "blue" "+") ("Anne" "is" "smart" "+")) -> ("Anne" "is" "green" "+"))
Quiet people are furry.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
If Anne is quiet then Anne is blue.
((("Anne" "is" "quiet" "+")) -> ("Anne" "is" "blue" "+"))
All cold, quiet people are smart.
((("someone" "is" "cold" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "smart" "+"))
All cold people are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
Anne is quiet.
True
1
proof
[(triple1)]
("Anne" "is" "quiet" "+")
triple1
Anne is not quiet.
False
1
inv-proof
[(triple1)]
("Anne" "is" "quiet" "-")
triple1
Anne is blue.
True
2
proof
[(((triple1) -> rule4))]
("Anne" "is" "blue" "+")
((triple1) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is not furry.
False
2
inv-proof
[(((triple1) -> rule3))]
("Anne" "is" "furry" "-")
((triple1) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is not young.
Unknown
inv-rconc
[@4: Anne is young.[CWA. Example of deepest failure = (rule6 <- rule1 <- rule2 <- rule5 <- FAIL)]]
("Anne" "is" "young" "-")
Anne is smart.
Unknown
rconc
[@3: Anne is smart.[CWA. Example of deepest failure = (rule5 <- rule1 <- rule2 <- FAIL)]]
("Anne" "is" "smart" "+")
@0: Anne is quiet.[(triple1)] @1: Anne is blue.[(((triple1) -> rule4))] Anne is furry.[(((triple1) -> rule3))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
((triple1) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
((triple1) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1