Anne is rough. Bob is not furry. Bob is nice. Erin is cold. Erin is furry. Erin is green. Erin is nice. Erin is rough. Erin is white. Gary is cold. Gary is furry. Gary is green. Gary is kind. Gary is not nice. Gary is rough. Gary is white. If Anne is nice and Anne is not green then Anne is not furry. If Erin is nice then Erin is not kind.
Anne is rough.
("Anne" "is" "rough" "+")
Bob is not furry.
("Bob" "is" "furry" "-")
Bob is nice.
("Bob" "is" "nice" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is not nice.
("Gary" "is" "nice" "-")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is white.
("Gary" "is" "white" "+")
If Anne is nice and Anne is not green then Anne is not furry.
((("Anne" "is" "nice" "+") ("Anne" "is" "green" "~")) -> ("Anne" "is" "furry" "-"))
If Erin is nice then Erin is not kind.
((("Erin" "is" "nice" "+")) -> ("Erin" "is" "kind" "-"))
Gary is kind.
True
1
proof
[(triple13)]
("Gary" "is" "kind" "+")
triple13
Gary is nice.
False
1
inv-proof
[(triple14)]
("Gary" "is" "nice" "+")
triple14
Erin is not kind.
True
2
proof
[(((triple7) -> rule2))]
("Erin" "is" "kind" "-")
((triple7) -> (rule2 % int1))
Erin is not kind.
("Erin" "is" "kind" "-")
int1
Erin is kind.
False
2
inv-proof
[(((triple7) -> rule2))]
("Erin" "is" "kind" "+")
((triple7) -> (rule2 % int1))
Erin is not kind.
("Erin" "is" "kind" "-")
int1
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Anne is kind.
Unknown
random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "+")
Anne is not nice.
Unknown
inv-random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "-")
Anne is green.
Unknown
random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "+")
@0: Anne is rough.[(triple1)] Bob is nice.[(triple3)] Bob is not furry.[(triple2)] Erin is cold.[(triple4)] Erin is furry.[(triple5)] Erin is green.[(triple6)] Erin is nice.[(triple7)] Erin is rough.[(triple8)] Erin is white.[(triple9)] Gary is cold.[(triple10)] Gary is furry.[(triple11)] Gary is green.[(triple12)] Gary is kind.[(triple13)] Gary is not nice.[(triple14)] Gary is rough.[(triple15)] Gary is white.[(triple16)] @1: Erin is not kind.[(((triple7) -> rule2))]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is not furry.
("Bob" "is" "furry" "-")
triple2
Erin is cold.
("Erin" "is" "cold" "+")
triple4
Erin is furry.
("Erin" "is" "furry" "+")
triple5
Erin is green.
("Erin" "is" "green" "+")
triple6
Erin is nice.
("Erin" "is" "nice" "+")
triple7
Erin is rough.
("Erin" "is" "rough" "+")
triple8
Erin is white.
("Erin" "is" "white" "+")
triple9
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Gary is furry.
("Gary" "is" "furry" "+")
triple11
Gary is green.
("Gary" "is" "green" "+")
triple12
Gary is kind.
("Gary" "is" "kind" "+")
triple13
Gary is not nice.
("Gary" "is" "nice" "-")
triple14
Gary is rough.
("Gary" "is" "rough" "+")
triple15
Gary is white.
("Gary" "is" "white" "+")
triple16
Erin is not kind.
("Erin" "is" "kind" "-")
((triple7) -> (rule2 % int1))
Erin is not kind.
("Erin" "is" "kind" "-")
int1