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