Anne is furry. Anne is quiet. Harry is not young. If Anne is quiet then Anne is big. If Anne is young then Anne is big. If Anne is not nice then Anne is green. All nice things are furry. If Anne is not quiet then Anne is young. Nice, quiet things are young.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Harry is not young.
("Harry" "is" "young" "-")
If Anne is quiet then Anne is big.
((("Anne" "is" "quiet" "+")) -> ("Anne" "is" "big" "+"))
If Anne is young then Anne is big.
((("Anne" "is" "young" "+")) -> ("Anne" "is" "big" "+"))
If Anne is not nice then Anne is green.
((("Anne" "is" "nice" "~")) -> ("Anne" "is" "green" "+"))
All nice things are furry.
((("something" "is" "nice" "+")) -> ("something" "is" "furry" "+"))
If Anne is not quiet then Anne is young.
((("Anne" "is" "quiet" "~")) -> ("Anne" "is" "young" "+"))
Nice, quiet things are young.
((("something" "is" "nice" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "young" "+"))
Anne is quiet.
True
1
proof
[(triple2)]
("Anne" "is" "quiet" "+")
triple2
Anne is not furry.
False
1
inv-proof
[(triple1)]
("Anne" "is" "furry" "-")
triple1
Anne is big.
True
2
proof
[(((triple2) -> rule1))]
("Anne" "is" "big" "+")
((triple2) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is not big.
False
2
inv-proof
[(((triple2) -> rule1))]
("Anne" "is" "big" "-")
((triple2) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Harry is not furry.
Unknown
inv-rconc
[@1: Harry is furry.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "furry" "-")
Anne is green.
Unknown
rconc
[@1: Anne is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "green" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
@0: Anne is furry.[(triple1)] Anne is quiet.[(triple2)] Harry is not young.[(triple3)] @1: Anne is big.[(((triple2) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Harry is not young.
("Harry" "is" "young" "-")
triple3
Anne is big.
("Anne" "is" "big" "+")
((triple2) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1