Anne is blue. Anne is not green. Anne is kind. Anne is not red. Anne is rough. Anne is young. Erin is not blue. Erin is green. Erin is not kind. Erin is red. Erin is smart. Erin is not young. Gary is green. Gary is not red. Gary is rough. If Anne is red then Anne is green. If Anne is blue then Anne is rough. If someone is red and blue then they are not green.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is not green.
("Anne" "is" "green" "-")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is not red.
("Anne" "is" "red" "-")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is young.
("Anne" "is" "young" "+")
Erin is not blue.
("Erin" "is" "blue" "-")
Erin is green.
("Erin" "is" "green" "+")
Erin is not kind.
("Erin" "is" "kind" "-")
Erin is red.
("Erin" "is" "red" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is not young.
("Erin" "is" "young" "-")
Gary is green.
("Gary" "is" "green" "+")
Gary is not red.
("Gary" "is" "red" "-")
Gary is rough.
("Gary" "is" "rough" "+")
If Anne is red then Anne is green.
((("Anne" "is" "red" "+")) -> ("Anne" "is" "green" "+"))
If Anne is blue then Anne is rough.
((("Anne" "is" "blue" "+")) -> ("Anne" "is" "rough" "+"))
If someone is red and blue then they are not green.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "-"))
Erin is smart.
True
1
proof
[(triple11)]
("Erin" "is" "smart" "+")
triple11
Gary is not green.
False
1
inv-proof
[(triple13)]
("Gary" "is" "green" "-")
triple13
Erin is not rough.
Unknown
inv-random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Anne is blue.[(triple1)] Anne is kind.[(triple3)] Anne is not green.[(triple2)] Anne is not red.[(triple4)] Anne is rough.[(triple5 OR ((triple1) -> rule2))] Anne is young.[(triple6)] Erin is green.[(triple8)] Erin is not blue.[(triple7)] Erin is not kind.[(triple9)] Erin is not young.[(triple12)] Erin is red.[(triple10)] Erin is smart.[(triple11)] Gary is green.[(triple13)] Gary is not red.[(triple14)] Gary is rough.[(triple15)]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is not green.
("Anne" "is" "green" "-")
triple2
Anne is not red.
("Anne" "is" "red" "-")
triple4
Anne is rough.
("Anne" "is" "rough" "+")
triple5
((triple1) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
triple6
Erin is green.
("Erin" "is" "green" "+")
triple8
Erin is not blue.
("Erin" "is" "blue" "-")
triple7
Erin is not kind.
("Erin" "is" "kind" "-")
triple9
Erin is not young.
("Erin" "is" "young" "-")
triple12
Erin is red.
("Erin" "is" "red" "+")
triple10
Erin is smart.
("Erin" "is" "smart" "+")
triple11
Gary is green.
("Gary" "is" "green" "+")
triple13
Gary is not red.
("Gary" "is" "red" "-")
triple14
Gary is rough.
("Gary" "is" "rough" "+")
triple15