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