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