Anne is cold. Anne is green. Anne is round. Anne is smart. Anne is white. Erin is cold. Erin is rough. Erin is round. Erin is smart. Erin is young. If Erin is rough then Erin is round. Green people are white. If someone is young then they are green.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
If Erin is rough then Erin is round.
((("Erin" "is" "rough" "+")) -> ("Erin" "is" "round" "+"))
Green people are white.
((("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
If someone is young then they are green.
((("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
Anne is cold.
True
1
proof
[(triple1)]
("Anne" "is" "cold" "+")
triple1
Anne is not white.
False
1
inv-proof
[(triple5 OR ((triple2) -> rule2))]
("Anne" "is" "white" "-")
triple5
((triple2) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Erin is green.
True
2
proof
[(((triple10) -> rule3))]
("Erin" "is" "green" "+")
((triple10) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is not green.
False
2
inv-proof
[(((triple10) -> rule3))]
("Erin" "is" "green" "-")
((triple10) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is white.
True
3
proof
[(((((triple10) -> rule3)) -> rule2))]
("Erin" "is" "white" "+")
((((triple10) -> (rule3 % int2))) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is not white.
False
3
inv-proof
[(((((triple10) -> rule3)) -> rule2))]
("Erin" "is" "white" "-")
((((triple10) -> (rule3 % int2))) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Anne is not young.
Unknown
inv-random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "-")
Anne is rough.
Unknown
random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "+")
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is round.[(triple3)] Anne is smart.[(triple4)] Anne is white.[(triple5 OR ((triple2) -> rule2))] Erin is cold.[(triple6)] Erin is rough.[(triple7)] Erin is round.[(triple8 OR ((triple7) -> rule1))] Erin is smart.[(triple9)] Erin is young.[(triple10)] @1: Erin is green.[(((triple10) -> rule3))] @2: Erin is white.[(((((triple10) -> rule3)) -> rule2))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Anne is smart.
("Anne" "is" "smart" "+")
triple4
Anne is white.
("Anne" "is" "white" "+")
triple5
((triple2) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
triple6
Erin is rough.
("Erin" "is" "rough" "+")
triple7
Erin is round.
("Erin" "is" "round" "+")
triple8
((triple7) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
triple9
Erin is young.
("Erin" "is" "young" "+")
triple10
Erin is green.
("Erin" "is" "green" "+")
((triple10) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
((((triple10) -> (rule3 % int2))) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2