Anne is white. If someone is white then they are blue. If Anne is cold and Anne is blue then Anne is green. If Anne is white then Anne is cold. If someone is young then they are blue. If someone is rough and young then they are green. Rough, white people are green.
Anne is white.
("Anne" "is" "white" "+")
If someone is white then they are blue.
((("someone" "is" "white" "+")) -> ("someone" "is" "blue" "+"))
If Anne is cold and Anne is blue then Anne is green.
((("Anne" "is" "cold" "+") ("Anne" "is" "blue" "+")) -> ("Anne" "is" "green" "+"))
If Anne is white then Anne is cold.
((("Anne" "is" "white" "+")) -> ("Anne" "is" "cold" "+"))
If someone is young then they are blue.
((("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and young then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
Rough, white people are green.
((("someone" "is" "rough" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
Anne is white.
True
1
proof
[(triple1)]
("Anne" "is" "white" "+")
triple1
Anne is not white.
False
1
inv-proof
[(triple1)]
("Anne" "is" "white" "-")
triple1
Anne is cold.
True
2
proof
[(((triple1) -> rule3))]
("Anne" "is" "cold" "+")
((triple1) -> (rule3 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is not blue.
False
2
inv-proof
[(((triple1) -> rule1))]
("Anne" "is" "blue" "-")
((triple1) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is green.
True
5
proof
[(((((triple1) -> rule3) ((triple1) -> rule1)) -> rule2))]
("Anne" "is" "green" "+")
((((triple1) -> (rule3 % int3)) ((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is not green.
False
5
inv-proof
[(((((triple1) -> rule3) ((triple1) -> rule1)) -> rule2))]
("Anne" "is" "green" "-")
((((triple1) -> (rule3 % int3)) ((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is not rough.
Unknown
inv-random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
@0: Anne is white.[(triple1)] @1: Anne is blue.[(((triple1) -> rule1))] Anne is cold.[(((triple1) -> rule3))] @2: Anne is green.[(((((triple1) -> rule3) ((triple1) -> rule1)) -> rule2))]
Anne is white.
("Anne" "is" "white" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
((triple1) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
((triple1) -> (rule3 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
((((triple1) -> (rule3 % int3)) ((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3