Anne is green. Anne is nice. Anne is red. Anne is white. Anne is young. Bob is nice. Gary is green. Gary is round. Gary is white. Gary is young. Red people are rough.
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
Red people are rough.
((("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
Gary is green.
True
1
proof
[(triple7)]
("Gary" "is" "green" "+")
triple7
Bob is not nice.
False
1
inv-proof
[(triple6)]
("Bob" "is" "nice" "-")
triple6
Anne is rough.
True
2
proof
[(((triple3) -> rule1))]
("Anne" "is" "rough" "+")
((triple3) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is not rough.
False
2
inv-proof
[(((triple3) -> rule1))]
("Anne" "is" "rough" "-")
((triple3) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "rough" "-")
Gary is rough.
Unknown
rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "rough" "+")
Anne is not round.
Unknown
inv-random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is red.[(triple3)] Anne is white.[(triple4)] Anne is young.[(triple5)] Bob is nice.[(triple6)] Gary is green.[(triple7)] Gary is round.[(triple8)] Gary is white.[(triple9)] Gary is young.[(triple10)] @1: Anne is rough.[(((triple3) -> rule1))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
triple4
Anne is young.
("Anne" "is" "young" "+")
triple5
Bob is nice.
("Bob" "is" "nice" "+")
triple6
Gary is green.
("Gary" "is" "green" "+")
triple7
Gary is round.
("Gary" "is" "round" "+")
triple8
Gary is white.
("Gary" "is" "white" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10
Anne is rough.
("Anne" "is" "rough" "+")
((triple3) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1