Anne is green. Bob is not green. Bob is rough. Dave is rough. Gary is blue. Gary is red. Gary is white. Red, blue people are smart. Blue, red people are nice. Blue people are nice.
Anne is green.
("Anne" "is" "green" "+")
Bob is not green.
("Bob" "is" "green" "-")
Bob is rough.
("Bob" "is" "rough" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is white.
("Gary" "is" "white" "+")
Red, blue people are smart.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "smart" "+"))
Blue, red people are nice.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
Blue people are nice.
((("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
Bob is not green.
True
1
proof
[(triple2)]
("Bob" "is" "green" "-")
triple2
Dave is not rough.
False
1
inv-proof
[(triple4)]
("Dave" "is" "rough" "-")
triple4
Dave is not smart.
Unknown
inv-rconc
[@1: Dave is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "smart" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Anne is green.[(triple1)] Bob is not green.[(triple2)] Bob is rough.[(triple3)] Dave is rough.[(triple4)] Gary is blue.[(triple5)] Gary is red.[(triple6)] Gary is white.[(triple7)] @1: Gary is nice.[(((triple5) -> rule3) OR ((triple5 triple6) -> rule2))] Gary is smart.[(((triple6 triple5) -> rule1))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Bob is not green.
("Bob" "is" "green" "-")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple5
Gary is red.
("Gary" "is" "red" "+")
triple6
Gary is white.
("Gary" "is" "white" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
((triple5) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((triple5 triple6) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
((triple6 triple5) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1