Anne is smart. If someone is white then they are smart. If someone is young then they are green. If Anne is green then Anne is big. Smart, blue people are green. If someone is smart then they are rough. If Anne is smart then Anne is blue.
Anne is smart.
("Anne" "is" "smart" "+")
If someone is white then they are smart.
((("someone" "is" "white" "+")) -> ("someone" "is" "smart" "+"))
If someone is young then they are green.
((("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If Anne is green then Anne is big.
((("Anne" "is" "green" "+")) -> ("Anne" "is" "big" "+"))
Smart, blue people are green.
((("someone" "is" "smart" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is smart then they are rough.
((("someone" "is" "smart" "+")) -> ("someone" "is" "rough" "+"))
If Anne is smart then Anne is blue.
((("Anne" "is" "smart" "+")) -> ("Anne" "is" "blue" "+"))
Anne is smart.
True
1
proof
[(triple1)]
("Anne" "is" "smart" "+")
triple1
Anne is not smart.
False
1
inv-proof
[(triple1)]
("Anne" "is" "smart" "-")
triple1
Anne is blue.
True
2
proof
[(((triple1) -> rule6))]
("Anne" "is" "blue" "+")
((triple1) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is not blue.
False
2
inv-proof
[(((triple1) -> rule6))]
("Anne" "is" "blue" "-")
((triple1) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is green.
True
4
proof
[(((triple1 ((triple1) -> rule6)) -> rule4))]
("Anne" "is" "green" "+")
((triple1 ((triple1) -> (rule6 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is not green.
False
4
inv-proof
[(((triple1 ((triple1) -> rule6)) -> rule4))]
("Anne" "is" "green" "-")
((triple1 ((triple1) -> (rule6 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is big.
True
5
proof
[(((((triple1 ((triple1) -> rule6)) -> rule4)) -> rule3))]
("Anne" "is" "big" "+")
((((triple1 ((triple1) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is not big.
False
5
inv-proof
[(((((triple1 ((triple1) -> rule6)) -> rule4)) -> rule3))]
("Anne" "is" "big" "-")
((((triple1 ((triple1) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is not young.
Unknown
inv-random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "-")
Anne is white.
Unknown
random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "+")
@0: Anne is smart.[(triple1)] @1: Anne is blue.[(((triple1) -> rule6))] Anne is rough.[(((triple1) -> rule5))] @2: Anne is green.[(((triple1 ((triple1) -> rule6)) -> rule4))] @3: Anne is big.[(((((triple1 ((triple1) -> rule6)) -> rule4)) -> rule3))]
Anne is smart.
("Anne" "is" "smart" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
((triple1) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
((triple1) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
((triple1 ((triple1) -> (rule6 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
((((triple1 ((triple1) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3