Erin is blue. Erin is green. Erin is not young. If someone is blue then they are kind. If someone is nice and not green then they are kind.
Erin is blue.
("Erin" "is" "blue" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is not young.
("Erin" "is" "young" "-")
If someone is blue then they are kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and not green then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "kind" "+"))
Erin is not young.
True
1
proof
[(triple3)]
("Erin" "is" "young" "-")
triple3
Erin is young.
False
1
inv-proof
[(triple3)]
("Erin" "is" "young" "+")
triple3
Erin is kind.
True
2
proof
[(((triple1) -> rule1))]
("Erin" "is" "kind" "+")
((triple1) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is not kind.
False
2
inv-proof
[(((triple1) -> rule1))]
("Erin" "is" "kind" "-")
((triple1) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is not red.
Unknown
inv-random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
@0: Erin is blue.[(triple1)] Erin is green.[(triple2)] Erin is not young.[(triple3)] @1: Erin is kind.[(((triple1) -> rule1))]
Erin is blue.
("Erin" "is" "blue" "+")
triple1
Erin is green.
("Erin" "is" "green" "+")
triple2
Erin is not young.
("Erin" "is" "young" "-")
triple3
Erin is kind.
("Erin" "is" "kind" "+")
((triple1) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1