Erin is not green. Erin is rough. Erin is white. Rough things are not quiet. All quiet things are rough. All white things are not nice.
Erin is not green.
("Erin" "is" "green" "-")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
Rough things are not quiet.
((("something" "is" "rough" "+")) -> ("something" "is" "quiet" "-"))
All quiet things are rough.
((("something" "is" "quiet" "+")) -> ("something" "is" "rough" "+"))
All white things are not nice.
((("something" "is" "white" "+")) -> ("something" "is" "nice" "-"))
Erin is white.
True
1
proof
[(triple3)]
("Erin" "is" "white" "+")
triple3
Erin is not white.
False
1
inv-proof
[(triple3)]
("Erin" "is" "white" "-")
triple3
Erin is not quiet.
True
2
proof
[(((triple2) -> rule1))]
("Erin" "is" "quiet" "-")
((triple2) -> (rule1 % int1))
Erin is not quiet.
("Erin" "is" "quiet" "-")
int1
Erin is quiet.
False
2
inv-proof
[(((triple2) -> rule1))]
("Erin" "is" "quiet" "+")
((triple2) -> (rule1 % int1))
Erin is not quiet.
("Erin" "is" "quiet" "-")
int1
Erin is not kind.
Unknown
inv-random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
@0: Erin is not green.[(triple1)] Erin is rough.[(triple2)] Erin is white.[(triple3)] @1: Erin is not nice.[(((triple3) -> rule3))] Erin is not quiet.[(((triple2) -> rule1))]
Erin is not green.
("Erin" "is" "green" "-")
triple1
Erin is rough.
("Erin" "is" "rough" "+")
triple2
Erin is white.
("Erin" "is" "white" "+")
triple3
Erin is not nice.
("Erin" "is" "nice" "-")
((triple3) -> (rule3 % int1))
Erin is not nice.
("Erin" "is" "nice" "-")
int1
Erin is not quiet.
("Erin" "is" "quiet" "-")
((triple2) -> (rule1 % int1))
Erin is not quiet.
("Erin" "is" "quiet" "-")
int1