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