Anne is quiet. Anne is smart. Anne is young. Bob is kind. Bob is nice. Bob is young. Dave is kind. Dave is nice. Dave is quiet. Dave is round. Dave is smart. Dave is young. Harry is nice. Harry is rough. Harry is round. Harry is young. If Anne is round and Anne is nice then Anne is quiet. If Harry is round and Harry is quiet then Harry is smart.
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is young.
("Dave" "is" "young" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is young.
("Harry" "is" "young" "+")
If Anne is round and Anne is nice then Anne is quiet.
((("Anne" "is" "round" "+") ("Anne" "is" "nice" "+")) -> ("Anne" "is" "quiet" "+"))
If Harry is round and Harry is quiet then Harry is smart.
((("Harry" "is" "round" "+") ("Harry" "is" "quiet" "+")) -> ("Harry" "is" "smart" "+"))
Harry is nice.
True
1
proof
[(triple13)]
("Harry" "is" "nice" "+")
triple13
Dave is not kind.
False
1
inv-proof
[(triple7)]
("Dave" "is" "kind" "-")
triple7
Harry is not smart.
Unknown
inv-rconc
[@1: Harry is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "smart" "-")
Harry is quiet.
Unknown
random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "+")
@0: Anne is quiet.[(triple1)] Anne is smart.[(triple2)] Anne is young.[(triple3)] Bob is kind.[(triple4)] Bob is nice.[(triple5)] Bob is young.[(triple6)] Dave is kind.[(triple7)] Dave is nice.[(triple8)] Dave is quiet.[(triple9)] Dave is round.[(triple10)] Dave is smart.[(triple11)] Dave is young.[(triple12)] Harry is nice.[(triple13)] Harry is rough.[(triple14)] Harry is round.[(triple15)] Harry is young.[(triple16)]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Anne is smart.
("Anne" "is" "smart" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple4
Bob is nice.
("Bob" "is" "nice" "+")
triple5
Bob is young.
("Bob" "is" "young" "+")
triple6
Dave is kind.
("Dave" "is" "kind" "+")
triple7
Dave is nice.
("Dave" "is" "nice" "+")
triple8
Dave is quiet.
("Dave" "is" "quiet" "+")
triple9
Dave is round.
("Dave" "is" "round" "+")
triple10
Dave is smart.
("Dave" "is" "smart" "+")
triple11
Dave is young.
("Dave" "is" "young" "+")
triple12
Harry is nice.
("Harry" "is" "nice" "+")
triple13
Harry is rough.
("Harry" "is" "rough" "+")
triple14
Harry is round.
("Harry" "is" "round" "+")
triple15
Harry is young.
("Harry" "is" "young" "+")
triple16