Anne is red. Anne is smart. Anne is white. Young, red people are cold. If Anne is round and Anne is red then Anne is smart. If Anne is smart then Anne is young.
Anne is red.
("Anne" "is" "red" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Young, red people are cold.
((("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If Anne is round and Anne is red then Anne is smart.
((("Anne" "is" "round" "+") ("Anne" "is" "red" "+")) -> ("Anne" "is" "smart" "+"))
If Anne is smart then Anne is young.
((("Anne" "is" "smart" "+")) -> ("Anne" "is" "young" "+"))
Anne is red.
True
1
proof
[(triple1)]
("Anne" "is" "red" "+")
triple1
Anne is not white.
False
1
inv-proof
[(triple3)]
("Anne" "is" "white" "-")
triple3
Anne is young.
True
2
proof
[(((triple2) -> rule3))]
("Anne" "is" "young" "+")
((triple2) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is not young.
False
2
inv-proof
[(((triple2) -> rule3))]
("Anne" "is" "young" "-")
((triple2) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
True
4
proof
[(((((triple2) -> rule3) triple1) -> rule1))]
("Anne" "is" "cold" "+")
((((triple2) -> (rule3 % int2)) triple1) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is not cold.
False
4
inv-proof
[(((((triple2) -> rule3) triple1) -> rule1))]
("Anne" "is" "cold" "-")
((((triple2) -> (rule3 % int2)) triple1) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is not furry.
Unknown
inv-random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "-")
Anne is round.
Unknown
random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "+")
@0: Anne is red.[(triple1)] Anne is smart.[(triple2)] Anne is white.[(triple3)] @1: Anne is young.[(((triple2) -> rule3))] @2: Anne is cold.[(((((triple2) -> rule3) triple1) -> rule1))]
Anne is red.
("Anne" "is" "red" "+")
triple1
Anne is smart.
("Anne" "is" "smart" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
((triple2) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
((((triple2) -> (rule3 % int2)) triple1) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2