Dave is cold. Erin is furry. Gary is quiet. If Gary is not young and Gary is not smart then Gary is not furry. If Erin is cold then Erin is not nice. If Erin is quiet then Erin is furry.
Dave is cold.
("Dave" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
If Gary is not young and Gary is not smart then Gary is not furry.
((("Gary" "is" "young" "~") ("Gary" "is" "smart" "~")) -> ("Gary" "is" "furry" "-"))
If Erin is cold then Erin is not nice.
((("Erin" "is" "cold" "+")) -> ("Erin" "is" "nice" "-"))
If Erin is quiet then Erin is furry.
((("Erin" "is" "quiet" "+")) -> ("Erin" "is" "furry" "+"))
Erin is furry.
True
1
proof
[(triple2)]
("Erin" "is" "furry" "+")
triple2
Gary is not quiet.
False
1
inv-proof
[(triple3)]
("Gary" "is" "quiet" "-")
triple3
Dave is not quiet.
Unknown
inv-random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Dave is cold.[(triple1)] Erin is furry.[(triple2)] Gary is quiet.[(triple3)]
Dave is cold.
("Dave" "is" "cold" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Gary is quiet.
("Gary" "is" "quiet" "+")
triple3