Dave is furry. Dave is nice. Dave is young. If something is furry and nice then it is kind. If something is furry and white then it is nice.
Dave is furry.
("Dave" "is" "furry" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is young.
("Dave" "is" "young" "+")
If something is furry and nice then it is kind.
((("something" "is" "furry" "+") ("something" "is" "nice" "+")) -> ("something" "is" "kind" "+"))
If something is furry and white then it is nice.
((("something" "is" "furry" "+") ("something" "is" "white" "+")) -> ("something" "is" "nice" "+"))
Dave is nice.
True
1
proof
[(triple2)]
("Dave" "is" "nice" "+")
triple2
Dave is not furry.
False
1
inv-proof
[(triple1)]
("Dave" "is" "furry" "-")
triple1
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Dave is white.
Unknown
random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "+")
@0: Dave is furry.[(triple1)] Dave is nice.[(triple2)] Dave is young.[(triple3)] @1: Dave is kind.[(((triple1 triple2) -> rule1))]
Dave is furry.
("Dave" "is" "furry" "+")
triple1
Dave is nice.
("Dave" "is" "nice" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple3
Dave is kind.
("Dave" "is" "kind" "+")
((triple1 triple2) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1