Anne is round. If something is kind and furry then it is round. If Anne is blue then Anne is kind. Furry things are kind. If Anne is young then Anne is white. All young, white things are round. Round things are furry.
Anne is round.
("Anne" "is" "round" "+")
If something is kind and furry then it is round.
((("something" "is" "kind" "+") ("something" "is" "furry" "+")) -> ("something" "is" "round" "+"))
If Anne is blue then Anne is kind.
((("Anne" "is" "blue" "+")) -> ("Anne" "is" "kind" "+"))
Furry things are kind.
((("something" "is" "furry" "+")) -> ("something" "is" "kind" "+"))
If Anne is young then Anne is white.
((("Anne" "is" "young" "+")) -> ("Anne" "is" "white" "+"))
All young, white things are round.
((("something" "is" "young" "+") ("something" "is" "white" "+")) -> ("something" "is" "round" "+"))
Round things are furry.
((("something" "is" "round" "+")) -> ("something" "is" "furry" "+"))
Anne is round.
True
1
proof
[(triple1)]
("Anne" "is" "round" "+")
triple1
Anne is not round.
False
1
inv-proof
[(triple1)]
("Anne" "is" "round" "-")
triple1
Anne is furry.
True
2
proof
[(((triple1) -> rule6))]
("Anne" "is" "furry" "+")
((triple1) -> (rule6 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is not furry.
False
2
inv-proof
[(((triple1) -> rule6))]
("Anne" "is" "furry" "-")
((triple1) -> (rule6 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is kind.
True
3
proof
[(((((triple1) -> rule6)) -> rule3))]
("Anne" "is" "kind" "+")
((((triple1) -> (rule6 % int2))) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is not kind.
False
3
inv-proof
[(((((triple1) -> rule6)) -> rule3))]
("Anne" "is" "kind" "-")
((((triple1) -> (rule6 % int2))) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is not white.
Unknown
inv-rconc
[@1: Anne is white.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Anne" "is" "white" "-")
Anne is blue.
Unknown
random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "+")
Anne is not quiet.
Unknown
inv-random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
@0: Anne is round.[(triple1)] @1: Anne is furry.[(((triple1) -> rule6))] @2: Anne is kind.[(((((triple1) -> rule6)) -> rule3))]
Anne is round.
("Anne" "is" "round" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
((triple1) -> (rule6 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
((((triple1) -> (rule6 % int2))) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2