Dave is big. Dave is not kind. Dave is round. Gary is not big. Gary is furry. Gary is nice. Harry is nice. If someone is round and kind then they are not furry.
Dave is big.
("Dave" "is" "big" "+")
Dave is not kind.
("Dave" "is" "kind" "-")
Dave is round.
("Dave" "is" "round" "+")
Gary is not big.
("Gary" "is" "big" "-")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If someone is round and kind then they are not furry.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "furry" "-"))
Gary is nice.
True
1
proof
[(triple6)]
("Gary" "is" "nice" "+")
triple6
Dave is not round.
False
1
inv-proof
[(triple3)]
("Dave" "is" "round" "-")
triple3
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Dave is white.
Unknown
random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "+")
@0: Dave is big.[(triple1)] Dave is not kind.[(triple2)] Dave is round.[(triple3)] Gary is furry.[(triple5)] Gary is nice.[(triple6)] Gary is not big.[(triple4)] Harry is nice.[(triple7)]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is not kind.
("Dave" "is" "kind" "-")
triple2
Dave is round.
("Dave" "is" "round" "+")
triple3
Gary is furry.
("Gary" "is" "furry" "+")
triple5
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Gary is not big.
("Gary" "is" "big" "-")
triple4
Harry is nice.
("Harry" "is" "nice" "+")
triple7