Erin is blue. Erin is cold. Erin is quiet. Erin is rough. Gary is not blue. Gary is furry. Gary is rough. All cold things are not white. If Gary is quiet and Gary is not white then Gary is rough.
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Gary is not blue.
("Gary" "is" "blue" "-")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is rough.
("Gary" "is" "rough" "+")
All cold things are not white.
((("something" "is" "cold" "+")) -> ("something" "is" "white" "-"))
If Gary is quiet and Gary is not white then Gary is rough.
((("Gary" "is" "quiet" "+") ("Gary" "is" "white" "~")) -> ("Gary" "is" "rough" "+"))
Erin is quiet.
True
1
proof
[(triple3)]
("Erin" "is" "quiet" "+")
triple3
Gary is not rough.
False
1
inv-proof
[(triple7)]
("Gary" "is" "rough" "-")
triple7
Erin is not white.
True
2
proof
[(((triple2) -> rule1))]
("Erin" "is" "white" "-")
((triple2) -> (rule1 % int1))
Erin is not white.
("Erin" "is" "white" "-")
int1
Erin is white.
False
2
inv-proof
[(((triple2) -> rule1))]
("Erin" "is" "white" "+")
((triple2) -> (rule1 % int1))
Erin is not white.
("Erin" "is" "white" "-")
int1
Erin is not red.
Unknown
inv-random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Erin is blue.[(triple1)] Erin is cold.[(triple2)] Erin is quiet.[(triple3)] Erin is rough.[(triple4)] Gary is furry.[(triple6)] Gary is not blue.[(triple5)] Gary is rough.[(triple7)] @1: Erin is not white.[(((triple2) -> rule1))]
Erin is blue.
("Erin" "is" "blue" "+")
triple1
Erin is cold.
("Erin" "is" "cold" "+")
triple2
Erin is quiet.
("Erin" "is" "quiet" "+")
triple3
Erin is rough.
("Erin" "is" "rough" "+")
triple4
Gary is furry.
("Gary" "is" "furry" "+")
triple6
Gary is not blue.
("Gary" "is" "blue" "-")
triple5
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Erin is not white.
("Erin" "is" "white" "-")
((triple2) -> (rule1 % int1))
Erin is not white.
("Erin" "is" "white" "-")
int1