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