Anne is quiet. Dave is round. Harry is young. If something is quiet and rough then it is young. If Anne is quiet then Anne is furry.
Anne is quiet.
("Anne" "is" "quiet" "+")
Dave is round.
("Dave" "is" "round" "+")
Harry is young.
("Harry" "is" "young" "+")
If something is quiet and rough then it is young.
((("something" "is" "quiet" "+") ("something" "is" "rough" "+")) -> ("something" "is" "young" "+"))
If Anne is quiet then Anne is furry.
((("Anne" "is" "quiet" "+")) -> ("Anne" "is" "furry" "+"))
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 not young.
Unknown
inv-rconc
[@1: Anne is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "young" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Anne is quiet.[(triple1)] Dave is round.[(triple2)] Harry is young.[(triple3)] @1: Anne is furry.[(((triple1) -> rule2))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Dave is round.
("Dave" "is" "round" "+")
triple2
Harry is young.
("Harry" "is" "young" "+")
triple3
Anne is furry.
("Anne" "is" "furry" "+")
((triple1) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1