Bob is blue. Bob is cold. Bob is not kind. Bob is nice. Bob is quiet. Bob is rough. Bob is smart. Gary is blue. Gary is kind. Gary is not nice. Gary is quiet. Gary is rough. Kind, nice things are not quiet.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is not kind.
("Bob" "is" "kind" "-")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is not nice.
("Gary" "is" "nice" "-")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Kind, nice things are not quiet.
((("something" "is" "kind" "+") ("something" "is" "nice" "+")) -> ("something" "is" "quiet" "-"))
Bob is cold.
True
1
proof
[(triple2)]
("Bob" "is" "cold" "+")
triple2
Bob is not quiet.
False
1
inv-proof
[(triple5)]
("Bob" "is" "quiet" "-")
triple5
Gary is not smart.
Unknown
inv-random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is nice.[(triple4)] Bob is not kind.[(triple3)] Bob is quiet.[(triple5)] Bob is rough.[(triple6)] Bob is smart.[(triple7)] Gary is blue.[(triple8)] Gary is kind.[(triple9)] Gary is not nice.[(triple10)] Gary is quiet.[(triple11)] Gary is rough.[(triple12)]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple4
Bob is not kind.
("Bob" "is" "kind" "-")
triple3
Bob is quiet.
("Bob" "is" "quiet" "+")
triple5
Bob is rough.
("Bob" "is" "rough" "+")
triple6
Bob is smart.
("Bob" "is" "smart" "+")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is not nice.
("Gary" "is" "nice" "-")
triple10
Gary is quiet.
("Gary" "is" "quiet" "+")
triple11
Gary is rough.
("Gary" "is" "rough" "+")
triple12