Anne is cold. Anne is furry. Anne is rough. All rough people are cold. If Anne is quiet then Anne is rough. All rough people are cold. If someone is furry then they are rough. All rough people are blue. If Anne is furry and Anne is young then Anne is blue. If someone is cold and young then they are rough. All furry people are quiet.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is rough.
("Anne" "is" "rough" "+")
All rough people are cold.
((("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If Anne is quiet then Anne is rough.
((("Anne" "is" "quiet" "+")) -> ("Anne" "is" "rough" "+"))
All rough people are cold.
((("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If someone is furry then they are rough.
((("someone" "is" "furry" "+")) -> ("someone" "is" "rough" "+"))
All rough people are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If Anne is furry and Anne is young then Anne is blue.
((("Anne" "is" "furry" "+") ("Anne" "is" "young" "+")) -> ("Anne" "is" "blue" "+"))
If someone is cold and young then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
All furry people are quiet.
((("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "+"))
Anne is furry.
True
1
proof
[(triple2)]
("Anne" "is" "furry" "+")
triple2
Anne is not rough.
False
1
inv-proof
[(triple3 OR ((triple2) -> rule4) OR ((((triple2) -> rule8)) -> rule2))]
("Anne" "is" "rough" "-")
triple3
((triple2) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((((triple2) -> (rule8 % int2))) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is quiet.
True
2
proof
[(((triple2) -> rule8))]
("Anne" "is" "quiet" "+")
((triple2) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is not blue.
False
2
inv-proof
[(((triple3) -> rule5) OR ((((triple2) -> rule4)) -> rule5) OR ((((((triple2) -> rule8)) -> rule2)) -> rule5))]
("Anne" "is" "blue" "-")
((triple3) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((((triple2) -> (rule4 % int2))) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((((((triple2) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is not young.
Unknown
inv-random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "-")
Anne is red.
Unknown
random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "+")
@0: Anne is cold.[(triple1 OR ((triple3) -> rule1) OR ((triple3) -> rule3) OR ((((triple2) -> rule4)) -> rule1) OR ((((triple2) -> rule4)) -> rule3) OR ((((((triple2) -> rule8)) -> rule2)) -> rule1) OR ((((((triple2) -> rule8)) -> rule2)) -> rule3))] Anne is furry.[(triple2)] Anne is rough.[(triple3 OR ((triple2) -> rule4) OR ((((triple2) -> rule8)) -> rule2))] @1: Anne is blue.[(((triple3) -> rule5) OR ((((triple2) -> rule4)) -> rule5) OR ((((((triple2) -> rule8)) -> rule2)) -> rule5))] Anne is quiet.[(((triple2) -> rule8))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
((triple3) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((triple3) -> (rule3 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((((triple2) -> (rule4 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((((triple2) -> (rule4 % int2))) -> (rule3 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((((((triple2) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
((((((triple2) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple3
((triple2) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((((triple2) -> (rule8 % int2))) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
((triple3) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((((triple2) -> (rule4 % int2))) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((((((triple2) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple2) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1