Anne is not kind. Anne is smart. Charlie is blue. Charlie is green. Charlie is red. Charlie is rough. Charlie is smart. Fiona is green. Harry is not kind. Harry is rough. If Charlie is not blue then Charlie is not kind.
Anne is not kind.
("Anne" "is" "kind" "-")
Anne is smart.
("Anne" "is" "smart" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Harry is not kind.
("Harry" "is" "kind" "-")
Harry is rough.
("Harry" "is" "rough" "+")
If Charlie is not blue then Charlie is not kind.
((("Charlie" "is" "blue" "~")) -> ("Charlie" "is" "kind" "-"))
Charlie is green.
True
1
proof
[(triple4)]
("Charlie" "is" "green" "+")
triple4
Anne is kind.
False
1
inv-proof
[(triple1)]
("Anne" "is" "kind" "+")
triple1
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Anne is not kind.[(triple1)] Anne is smart.[(triple2)] Charlie is blue.[(triple3)] Charlie is green.[(triple4)] Charlie is red.[(triple5)] Charlie is rough.[(triple6)] Charlie is smart.[(triple7)] Fiona is green.[(triple8)] Harry is not kind.[(triple9)] Harry is rough.[(triple10)]
Anne is not kind.
("Anne" "is" "kind" "-")
triple1
Anne is smart.
("Anne" "is" "smart" "+")
triple2
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is red.
("Charlie" "is" "red" "+")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple6
Charlie is smart.
("Charlie" "is" "smart" "+")
triple7
Fiona is green.
("Fiona" "is" "green" "+")
triple8
Harry is not kind.
("Harry" "is" "kind" "-")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple10