Anne is nice. Dave is quiet. Gary is nice. Harry is not smart. If something is nice and big then it is smart.
Anne is nice.
("Anne" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Harry is not smart.
("Harry" "is" "smart" "-")
If something is nice and big then it is smart.
((("something" "is" "nice" "+") ("something" "is" "big" "+")) -> ("something" "is" "smart" "+"))
Dave is quiet.
True
1
proof
[(triple2)]
("Dave" "is" "quiet" "+")
triple2
Gary is not nice.
False
1
inv-proof
[(triple3)]
("Gary" "is" "nice" "-")
triple3
Gary is not smart.
Unknown
inv-rconc
[@1: Gary is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "smart" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Anne is nice.[(triple1)] Dave is quiet.[(triple2)] Gary is nice.[(triple3)] Harry is not smart.[(triple4)]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Dave is quiet.
("Dave" "is" "quiet" "+")
triple2
Gary is nice.
("Gary" "is" "nice" "+")
triple3
Harry is not smart.
("Harry" "is" "smart" "-")
triple4