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