Anne is furry. Anne is kind. Dave is not furry. Dave is green. Dave is rough. Dave is smart. Harry is furry. Harry is kind. Harry is quiet. Harry is smart. Quiet things are green. If Anne is not quiet then Anne is smart.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Dave is not furry.
("Dave" "is" "furry" "-")
Dave is green.
("Dave" "is" "green" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Quiet things are green.
((("something" "is" "quiet" "+")) -> ("something" "is" "green" "+"))
If Anne is not quiet then Anne is smart.
((("Anne" "is" "quiet" "~")) -> ("Anne" "is" "smart" "+"))
Anne is furry.
True
1
proof
[(triple1)]
("Anne" "is" "furry" "+")
triple1
Harry is not smart.
False
1
inv-proof
[(triple10)]
("Harry" "is" "smart" "-")
triple10
Harry is green.
True
2
proof
[(((triple9) -> rule1))]
("Harry" "is" "green" "+")
((triple9) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is not green.
False
2
inv-proof
[(((triple9) -> rule1))]
("Harry" "is" "green" "-")
((triple9) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Anne is not smart.
Unknown
inv-rconc
[@1: Anne is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "smart" "-")
Anne is green.
Unknown
rconc
[@1: Anne is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "green" "+")
Dave is not quiet.
Unknown
inv-random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "-")
Anne is quiet.
Unknown
random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "+")
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2)] Dave is green.[(triple4)] Dave is not furry.[(triple3)] Dave is rough.[(triple5)] Dave is smart.[(triple6)] Harry is furry.[(triple7)] Harry is kind.[(triple8)] Harry is quiet.[(triple9)] Harry is smart.[(triple10)] @1: Harry is green.[(((triple9) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Dave is green.
("Dave" "is" "green" "+")
triple4
Dave is not furry.
("Dave" "is" "furry" "-")
triple3
Dave is rough.
("Dave" "is" "rough" "+")
triple5
Dave is smart.
("Dave" "is" "smart" "+")
triple6
Harry is furry.
("Harry" "is" "furry" "+")
triple7
Harry is kind.
("Harry" "is" "kind" "+")
triple8
Harry is quiet.
("Harry" "is" "quiet" "+")
triple9
Harry is smart.
("Harry" "is" "smart" "+")
triple10
Harry is green.
("Harry" "is" "green" "+")
((triple9) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1