Dave is not furry. Dave is not quiet. Dave is rough. Dave is smart. Dave is white. Dave is young. Gary is furry. Gary is rough. Gary is white. Gary is young. If Gary is quiet and Gary is not cold then Gary is smart. If something is rough then it is smart. If something is furry then it is young.
Dave is not furry.
("Dave" "is" "furry" "-")
Dave is not 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 rough.
("Gary" "is" "rough" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
If Gary is quiet and Gary is not cold then Gary is smart.
((("Gary" "is" "quiet" "+") ("Gary" "is" "cold" "~")) -> ("Gary" "is" "smart" "+"))
If something is rough then it is smart.
((("something" "is" "rough" "+")) -> ("something" "is" "smart" "+"))
If something is furry then it is young.
((("something" "is" "furry" "+")) -> ("something" "is" "young" "+"))
Dave is young.
True
1
proof
[(triple6)]
("Dave" "is" "young" "+")
triple6
Gary is not white.
False
1
inv-proof
[(triple9)]
("Gary" "is" "white" "-")
triple9
Gary is smart.
True
2
proof
[(((triple8) -> rule2))]
("Gary" "is" "smart" "+")
((triple8) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is not smart.
False
2
inv-proof
[(((triple8) -> rule2))]
("Gary" "is" "smart" "-")
((triple8) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
@0: Dave is not furry.[(triple1)] Dave is not quiet.[(triple2)] Dave is rough.[(triple3)] Dave is smart.[(triple4 OR ((triple3) -> rule2))] Dave is white.[(triple5)] Dave is young.[(triple6)] Gary is furry.[(triple7)] Gary is rough.[(triple8)] Gary is white.[(triple9)] Gary is young.[(triple10 OR ((triple7) -> rule3))] @1: Gary is smart.[(((triple8) -> rule2))]
Dave is not furry.
("Dave" "is" "furry" "-")
triple1
Dave is not quiet.
("Dave" "is" "quiet" "-")
triple2
Dave is rough.
("Dave" "is" "rough" "+")
triple3
Dave is smart.
("Dave" "is" "smart" "+")
triple4
((triple3) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple6
Gary is furry.
("Gary" "is" "furry" "+")
triple7
Gary is rough.
("Gary" "is" "rough" "+")
triple8
Gary is white.
("Gary" "is" "white" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10
((triple7) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
((triple8) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1