Erin is cold. Erin is kind. Erin is not white. If Erin is cold then Erin is not smart. If Erin is kind then Erin is green.
Erin is cold.
("Erin" "is" "cold" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is not white.
("Erin" "is" "white" "-")
If Erin is cold then Erin is not smart.
((("Erin" "is" "cold" "+")) -> ("Erin" "is" "smart" "-"))
If Erin is kind then Erin is green.
((("Erin" "is" "kind" "+")) -> ("Erin" "is" "green" "+"))
Erin is cold.
True
1
proof
[(triple1)]
("Erin" "is" "cold" "+")
triple1
Erin is white.
False
1
inv-proof
[(triple3)]
("Erin" "is" "white" "+")
triple3
Erin is green.
True
2
proof
[(((triple2) -> rule2))]
("Erin" "is" "green" "+")
((triple2) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is not green.
False
2
inv-proof
[(((triple2) -> rule2))]
("Erin" "is" "green" "-")
((triple2) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is not blue.
Unknown
inv-random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
@0: Erin is cold.[(triple1)] Erin is kind.[(triple2)] Erin is not white.[(triple3)] @1: Erin is green.[(((triple2) -> rule2))] Erin is not smart.[(((triple1) -> rule1))]
Erin is cold.
("Erin" "is" "cold" "+")
triple1
Erin is kind.
("Erin" "is" "kind" "+")
triple2
Erin is not white.
("Erin" "is" "white" "-")
triple3
Erin is green.
("Erin" "is" "green" "+")
((triple2) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is not smart.
("Erin" "is" "smart" "-")
((triple1) -> (rule1 % int1))
Erin is not smart.
("Erin" "is" "smart" "-")
int1