Anne is big. Anne is not rough. Anne is young. Bob is kind. Bob is not rough. Bob is smart. Bob is young. Dave is kind. Dave is nice. Dave is young. Gary is green. Gary is smart. If someone is green and not big then they are smart.
Anne is big.
("Anne" "is" "big" "+")
Anne is not rough.
("Anne" "is" "rough" "-")
Anne is young.
("Anne" "is" "young" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is not rough.
("Bob" "is" "rough" "-")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is young.
("Dave" "is" "young" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is smart.
("Gary" "is" "smart" "+")
If someone is green and not big then they are smart.
((("someone" "is" "green" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "smart" "+"))
Gary is smart.
True
1
proof
[(triple12)]
("Gary" "is" "smart" "+")
triple12
Bob is not young.
False
1
inv-proof
[(triple7)]
("Bob" "is" "young" "-")
triple7
Dave is not smart.
Unknown
inv-rconc
[@1: Dave is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "smart" "-")
Anne is green.
Unknown
random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "+")
@0: Anne is big.[(triple1)] Anne is not rough.[(triple2)] Anne is young.[(triple3)] Bob is kind.[(triple4)] Bob is not rough.[(triple5)] Bob is smart.[(triple6)] Bob is young.[(triple7)] Dave is kind.[(triple8)] Dave is nice.[(triple9)] Dave is young.[(triple10)] Gary is green.[(triple11)] Gary is smart.[(triple12)]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is not rough.
("Anne" "is" "rough" "-")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple4
Bob is not rough.
("Bob" "is" "rough" "-")
triple5
Bob is smart.
("Bob" "is" "smart" "+")
triple6
Bob is young.
("Bob" "is" "young" "+")
triple7
Dave is kind.
("Dave" "is" "kind" "+")
triple8
Dave is nice.
("Dave" "is" "nice" "+")
triple9
Dave is young.
("Dave" "is" "young" "+")
triple10
Gary is green.
("Gary" "is" "green" "+")
triple11
Gary is smart.
("Gary" "is" "smart" "+")
triple12