Bob is not young. Erin is red. If Erin is kind and Erin is big then Erin is not young.
Bob is not young.
("Bob" "is" "young" "-")
Erin is red.
("Erin" "is" "red" "+")
If Erin is kind and Erin is big then Erin is not young.
((("Erin" "is" "kind" "+") ("Erin" "is" "big" "+")) -> ("Erin" "is" "young" "-"))
Erin is red.
True
1
proof
[(triple2)]
("Erin" "is" "red" "+")
triple2
Erin is not red.
False
1
inv-proof
[(triple2)]
("Erin" "is" "red" "-")
triple2
Erin is not cold.
Unknown
inv-random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Bob is not young.[(triple1)] Erin is red.[(triple2)]
Bob is not young.
("Bob" "is" "young" "-")
triple1
Erin is red.
("Erin" "is" "red" "+")
triple2