Charlie is rough. Erin is cold. Gary is nice. Harry is smart. Kind people are not nice.
Charlie is rough.
("Charlie" "is" "rough" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Kind people are not nice.
((("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "-"))
Charlie is rough.
True
1
proof
[(triple1)]
("Charlie" "is" "rough" "+")
triple1
Erin is not cold.
False
1
inv-proof
[(triple2)]
("Erin" "is" "cold" "-")
triple2
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
@0: Charlie is rough.[(triple1)] Erin is cold.[(triple2)] Gary is nice.[(triple3)] Harry is smart.[(triple4)]
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Erin is cold.
("Erin" "is" "cold" "+")
triple2
Gary is nice.
("Gary" "is" "nice" "+")
triple3
Harry is smart.
("Harry" "is" "smart" "+")
triple4