Anne is kind. Anne is quiet. Anne is rough. Anne is white. Charlie is green. Charlie is quiet. Charlie is rough. Charlie is round. Charlie is white. Charlie is young. Dave is green. Dave is kind. Dave is quiet. Gary is quiet. Gary is round. Gary is white. If something is quiet then it is white. If something is rough and young then it is green. If Anne is young and Anne is green then Anne is quiet.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
If something is quiet then it is white.
((("something" "is" "quiet" "+")) -> ("something" "is" "white" "+"))
If something is rough and young then it is green.
((("something" "is" "rough" "+") ("something" "is" "young" "+")) -> ("something" "is" "green" "+"))
If Anne is young and Anne is green then Anne is quiet.
((("Anne" "is" "young" "+") ("Anne" "is" "green" "+")) -> ("Anne" "is" "quiet" "+"))
Dave is green.
True
1
proof
[(triple11)]
("Dave" "is" "green" "+")
triple11
Gary is not quiet.
False
1
inv-proof
[(triple14)]
("Gary" "is" "quiet" "-")
triple14
Gary is not green.
Unknown
inv-rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "green" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
@0: Anne is kind.[(triple1)] Anne is quiet.[(triple2)] Anne is rough.[(triple3)] Anne is white.[(triple4 OR ((triple2) -> rule1))] Charlie is green.[(triple5 OR ((triple7 triple10) -> rule2))] Charlie is quiet.[(triple6)] Charlie is rough.[(triple7)] Charlie is round.[(triple8)] Charlie is white.[(triple9 OR ((triple6) -> rule1))] Charlie is young.[(triple10)] Dave is green.[(triple11)] Dave is kind.[(triple12)] Dave is quiet.[(triple13)] Gary is quiet.[(triple14)] Gary is round.[(triple15)] Gary is white.[(triple16 OR ((triple14) -> rule1))] @1: Dave is white.[(((triple13) -> rule1))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
triple4
((triple2) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
triple5
((triple7 triple10) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple6
Charlie is rough.
("Charlie" "is" "rough" "+")
triple7
Charlie is round.
("Charlie" "is" "round" "+")
triple8
Charlie is white.
("Charlie" "is" "white" "+")
triple9
((triple6) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
triple10
Dave is green.
("Dave" "is" "green" "+")
triple11
Dave is kind.
("Dave" "is" "kind" "+")
triple12
Dave is quiet.
("Dave" "is" "quiet" "+")
triple13
Gary is quiet.
("Gary" "is" "quiet" "+")
triple14
Gary is round.
("Gary" "is" "round" "+")
triple15
Gary is white.
("Gary" "is" "white" "+")
triple16
((triple14) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
((triple13) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1