Anne is blue. White things are nice. If Anne is rough then Anne is white. If Anne is blue and Anne is nice then Anne is rough. All white things are big. If something is white then it is rough. Blue things are rough.
Anne is blue.
("Anne" "is" "blue" "+")
White things are nice.
((("something" "is" "white" "+")) -> ("something" "is" "nice" "+"))
If Anne is rough then Anne is white.
((("Anne" "is" "rough" "+")) -> ("Anne" "is" "white" "+"))
If Anne is blue and Anne is nice then Anne is rough.
((("Anne" "is" "blue" "+") ("Anne" "is" "nice" "+")) -> ("Anne" "is" "rough" "+"))
All white things are big.
((("something" "is" "white" "+")) -> ("something" "is" "big" "+"))
If something is white then it is rough.
((("something" "is" "white" "+")) -> ("something" "is" "rough" "+"))
Blue things are rough.
((("something" "is" "blue" "+")) -> ("something" "is" "rough" "+"))
Anne is blue.
True
1
proof
[(triple1)]
("Anne" "is" "blue" "+")
triple1
Anne is not blue.
False
1
inv-proof
[(triple1)]
("Anne" "is" "blue" "-")
triple1
Anne is rough.
True
2
proof
[(((triple1) -> rule6))]
("Anne" "is" "rough" "+")
((triple1) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is not rough.
False
2
inv-proof
[(((triple1) -> rule6))]
("Anne" "is" "rough" "-")
((triple1) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
True
3
proof
[(((((triple1) -> rule6)) -> rule2))]
("Anne" "is" "white" "+")
((((triple1) -> (rule6 % int2))) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is not white.
False
3
inv-proof
[(((((triple1) -> rule6)) -> rule2))]
("Anne" "is" "white" "-")
((((triple1) -> (rule6 % int2))) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is big.
True
4
proof
[(((((((triple1) -> rule6)) -> rule2)) -> rule4))]
("Anne" "is" "big" "+")
((((((triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is not big.
False
4
inv-proof
[(((((((triple1) -> rule6)) -> rule2)) -> rule4))]
("Anne" "is" "big" "-")
((((((triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is not red.
Unknown
inv-random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
@0: Anne is blue.[(triple1)] @1: Anne is rough.[(((triple1) -> rule6))] @2: Anne is white.[(((((triple1) -> rule6)) -> rule2))] @3: Anne is big.[(((((((triple1) -> rule6)) -> rule2)) -> rule4))] Anne is nice.[(((((((triple1) -> rule6)) -> rule2)) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
((triple1) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
((((triple1) -> (rule6 % int2))) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
((((((triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
((((((triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3