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