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