Anne is round. All cold, round people are nice. If Anne is nice then Anne is green. If Anne is round then Anne is cold.
Anne is round.
("Anne" "is" "round" "+")
All cold, round people are nice.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If Anne is nice then Anne is green.
((("Anne" "is" "nice" "+")) -> ("Anne" "is" "green" "+"))
If Anne is round then Anne is cold.
((("Anne" "is" "round" "+")) -> ("Anne" "is" "cold" "+"))
Anne is round.
True
1
proof
[(triple1)]
("Anne" "is" "round" "+")
triple1
Anne is not round.
False
1
inv-proof
[(triple1)]
("Anne" "is" "round" "-")
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 cold.
False
2
inv-proof
[(((triple1) -> rule3))]
("Anne" "is" "cold" "-")
((triple1) -> (rule3 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is nice.
True
4
proof
[(((((triple1) -> rule3) triple1) -> rule1))]
("Anne" "is" "nice" "+")
((((triple1) -> (rule3 % int2)) triple1) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is not nice.
False
4
inv-proof
[(((((triple1) -> rule3) triple1) -> rule1))]
("Anne" "is" "nice" "-")
((((triple1) -> (rule3 % int2)) triple1) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is not kind.
Unknown
inv-random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "-")
Anne is quiet.
Unknown
random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "+")
@0: Anne is round.[(triple1)] @1: Anne is cold.[(((triple1) -> rule3))] @2: Anne is nice.[(((((triple1) -> rule3) triple1) -> rule1))] @3: Anne is green.[(((((((triple1) -> rule3) triple1) -> rule1)) -> rule2))]
Anne is round.
("Anne" "is" "round" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
((triple1) -> (rule3 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
((((triple1) -> (rule3 % int2)) triple1) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
((((((triple1) -> (rule3 % int3)) triple1) -> (rule1 % int2))) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3