Erin is blue. Erin is cold. Erin is green. Erin is not quiet. Erin is red. Erin is smart. Erin is white. Gary is blue. Gary is quiet. Gary is not smart. If someone is cold and not quiet then they are smart. If someone is quiet and not blue then they are not smart. All quiet people are white. If someone is blue and smart then they are white. If Erin is red then Erin is green. If Erin is blue and Erin is not white then Erin is red.
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is not quiet.
("Erin" "is" "quiet" "-")
Erin is red.
("Erin" "is" "red" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is not smart.
("Gary" "is" "smart" "-")
If someone is cold and not quiet then they are smart.
((("someone" "is" "cold" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "smart" "+"))
If someone is quiet and not blue then they are not smart.
((("someone" "is" "quiet" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "smart" "-"))
All quiet people are white.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
If someone is blue and smart then they are white.
((("someone" "is" "blue" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "white" "+"))
If Erin is red then Erin is green.
((("Erin" "is" "red" "+")) -> ("Erin" "is" "green" "+"))
If Erin is blue and Erin is not white then Erin is red.
((("Erin" "is" "blue" "+") ("Erin" "is" "white" "~")) -> ("Erin" "is" "red" "+"))
Erin is blue.
True
1
proof
[(triple1)]
("Erin" "is" "blue" "+")
triple1
Erin is quiet.
False
1
inv-proof
[(triple4)]
("Erin" "is" "quiet" "+")
triple4
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 green.[(triple3 OR ((triple5) -> rule5))] Erin is not quiet.[(triple4)] Erin is red.[(triple5)] Erin is smart.[(triple6 OR ((triple2 triple4) -> rule1))] Erin is white.[(triple7 OR ((triple1 triple6) -> rule4) OR ((triple1 ((triple2 triple4) -> rule1)) -> rule4))] Gary is blue.[(triple8)] Gary is not smart.[(triple10)] Gary is quiet.[(triple9)] @1: Gary is white.[(((triple9) -> rule3))]
Erin is blue.
("Erin" "is" "blue" "+")
triple1
Erin is cold.
("Erin" "is" "cold" "+")
triple2
Erin is green.
("Erin" "is" "green" "+")
triple3
((triple5) -> (rule5 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is not quiet.
("Erin" "is" "quiet" "-")
triple4
Erin is red.
("Erin" "is" "red" "+")
triple5
Erin is smart.
("Erin" "is" "smart" "+")
triple6
((triple2 triple4) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
triple7
((triple1 triple6) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((triple1 ((triple2 triple4) -> (rule1 % int2))) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is not smart.
("Gary" "is" "smart" "-")
triple10
Gary is quiet.
("Gary" "is" "quiet" "+")
triple9
Gary is white.
("Gary" "is" "white" "+")
((triple9) -> (rule3 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1