Anne is furry. Anne is red. Anne is not white. Anne is young. Dave is nice. Dave is red. Dave is rough. Dave is smart. Dave is white. Dave is young. Gary is furry. Gary is nice. Gary is not rough. Gary is not smart. Gary is not white. Gary is young. All smart things are furry.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is not white.
("Anne" "is" "white" "-")
Anne is young.
("Anne" "is" "young" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is red.
("Dave" "is" "red" "+")
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 nice.
("Gary" "is" "nice" "+")
Gary is not rough.
("Gary" "is" "rough" "-")
Gary is not smart.
("Gary" "is" "smart" "-")
Gary is not white.
("Gary" "is" "white" "-")
Gary is young.
("Gary" "is" "young" "+")
All smart things are furry.
((("something" "is" "smart" "+")) -> ("something" "is" "furry" "+"))
Dave is red.
True
1
proof
[(triple6)]
("Dave" "is" "red" "+")
triple6
Gary is not young.
False
1
inv-proof
[(triple16)]
("Gary" "is" "young" "-")
triple16
Dave is furry.
True
2
proof
[(((triple8) -> rule1))]
("Dave" "is" "furry" "+")
((triple8) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is not furry.
False
2
inv-proof
[(((triple8) -> rule1))]
("Dave" "is" "furry" "-")
((triple8) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Anne is not rough.
Unknown
inv-random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "-")
Anne is nice.
Unknown
random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "+")
Anne is not smart.
Unknown
inv-random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Anne is furry.[(triple1)] Anne is not white.[(triple3)] Anne is red.[(triple2)] Anne is young.[(triple4)] Dave is nice.[(triple5)] Dave is red.[(triple6)] Dave is rough.[(triple7)] Dave is smart.[(triple8)] Dave is white.[(triple9)] Dave is young.[(triple10)] Gary is furry.[(triple11)] Gary is nice.[(triple12)] Gary is not rough.[(triple13)] Gary is not smart.[(triple14)] Gary is not white.[(triple15)] Gary is young.[(triple16)] @1: Dave is furry.[(((triple8) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is not white.
("Anne" "is" "white" "-")
triple3
Anne is red.
("Anne" "is" "red" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
triple5
Dave is red.
("Dave" "is" "red" "+")
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 nice.
("Gary" "is" "nice" "+")
triple12
Gary is not rough.
("Gary" "is" "rough" "-")
triple13
Gary is not smart.
("Gary" "is" "smart" "-")
triple14
Gary is not white.
("Gary" "is" "white" "-")
triple15
Gary is young.
("Gary" "is" "young" "+")
triple16
Dave is furry.
("Dave" "is" "furry" "+")
((triple8) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1