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