Anne is not quiet. Bob is big. Dave is quiet. If something is quiet then it is round. Nice, young things are furry. If something is quiet and not white then it is nice.
Anne is not quiet.
("Anne" "is" "quiet" "-")
Bob is big.
("Bob" "is" "big" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
If something is quiet then it is round.
((("something" "is" "quiet" "+")) -> ("something" "is" "round" "+"))
Nice, young things are furry.
((("something" "is" "nice" "+") ("something" "is" "young" "+")) -> ("something" "is" "furry" "+"))
If something is quiet and not white then it is nice.
((("something" "is" "quiet" "+") ("something" "is" "white" "~")) -> ("something" "is" "nice" "+"))
Dave is quiet.
True
1
proof
[(triple3)]
("Dave" "is" "quiet" "+")
triple3
Bob is not big.
False
1
inv-proof
[(triple2)]
("Bob" "is" "big" "-")
triple2
Dave is round.
True
2
proof
[(((triple3) -> rule1))]
("Dave" "is" "round" "+")
((triple3) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is not round.
False
2
inv-proof
[(((triple3) -> rule1))]
("Dave" "is" "round" "-")
((triple3) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Anne is not round.
Unknown
inv-rconc
[@1: Anne is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "round" "-")
Bob is furry.
Unknown
rconc
[@1: Bob is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "furry" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Anne is not quiet.[(triple1)] Bob is big.[(triple2)] Dave is quiet.[(triple3)] @1: Dave is round.[(((triple3) -> rule1))]
Anne is not quiet.
("Anne" "is" "quiet" "-")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple2
Dave is quiet.
("Dave" "is" "quiet" "+")
triple3
Dave is round.
("Dave" "is" "round" "+")
((triple3) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1