Anne is cold. Anne is furry. Anne is nice. Anne is red. Anne is round. Anne is white. Anne is young. Erin is cold. Erin is furry. Erin is round. If something is nice then it is furry. Red things are young. All round things are red.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is round.
("Erin" "is" "round" "+")
If something is nice then it is furry.
((("something" "is" "nice" "+")) -> ("something" "is" "furry" "+"))
Red things are young.
((("something" "is" "red" "+")) -> ("something" "is" "young" "+"))
All round things are red.
((("something" "is" "round" "+")) -> ("something" "is" "red" "+"))
Anne is nice.
True
1
proof
[(triple3)]
("Anne" "is" "nice" "+")
triple3
Erin is not round.
False
1
inv-proof
[(triple10)]
("Erin" "is" "round" "-")
triple10
Erin is red.
True
2
proof
[(((triple10) -> rule3))]
("Erin" "is" "red" "+")
((triple10) -> (rule3 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is not red.
False
2
inv-proof
[(((triple10) -> rule3))]
("Erin" "is" "red" "-")
((triple10) -> (rule3 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is young.
True
3
proof
[(((((triple10) -> rule3)) -> rule2))]
("Erin" "is" "young" "+")
((((triple10) -> (rule3 % int2))) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is not young.
False
3
inv-proof
[(((((triple10) -> rule3)) -> rule2))]
("Erin" "is" "young" "-")
((((triple10) -> (rule3 % int2))) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is not nice.
Unknown
inv-random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2 OR ((triple3) -> rule1))] Anne is nice.[(triple3)] Anne is red.[(triple4 OR ((triple5) -> rule3))] Anne is round.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7 OR ((triple4) -> rule2) OR ((((triple5) -> rule3)) -> rule2))] Erin is cold.[(triple8)] Erin is furry.[(triple9)] Erin is round.[(triple10)] @1: Erin is red.[(((triple10) -> rule3))] @2: Erin is young.[(((((triple10) -> rule3)) -> rule2))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
((triple3) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is red.
("Anne" "is" "red" "+")
triple4
((triple5) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
triple5
Anne is white.
("Anne" "is" "white" "+")
triple6
Anne is young.
("Anne" "is" "young" "+")
triple7
((triple4) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
((((triple5) -> (rule3 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
triple8
Erin is furry.
("Erin" "is" "furry" "+")
triple9
Erin is round.
("Erin" "is" "round" "+")
triple10
Erin is red.
("Erin" "is" "red" "+")
((triple10) -> (rule3 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
((((triple10) -> (rule3 % int2))) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2