Anne is cold. Anne is furry. Anne is rough. Dave is blue. Dave is furry. Dave is quiet. Dave is rough. Dave is white. Erin is cold. Erin is furry. If Erin is white and Erin is blue then Erin is rough. Cold, green things are blue. Green things are cold. If Anne is white and Anne is blue then Anne is cold. White things are green. If something is cold then it is white.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
If Erin is white and Erin is blue then Erin is rough.
((("Erin" "is" "white" "+") ("Erin" "is" "blue" "+")) -> ("Erin" "is" "rough" "+"))
Cold, green things are blue.
((("something" "is" "cold" "+") ("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
Green things are cold.
((("something" "is" "green" "+")) -> ("something" "is" "cold" "+"))
If Anne is white and Anne is blue then Anne is cold.
((("Anne" "is" "white" "+") ("Anne" "is" "blue" "+")) -> ("Anne" "is" "cold" "+"))
White things are green.
((("something" "is" "white" "+")) -> ("something" "is" "green" "+"))
If something is cold then it is white.
((("something" "is" "cold" "+")) -> ("something" "is" "white" "+"))
Anne is rough.
True
1
proof
[(triple3)]
("Anne" "is" "rough" "+")
triple3
Anne is not furry.
False
1
inv-proof
[(triple2)]
("Anne" "is" "furry" "-")
triple2
Anne is white.
True
2
proof
[(((triple1) -> rule6))]
("Anne" "is" "white" "+")
((triple1) -> (rule6 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Dave is not green.
False
2
inv-proof
[(((triple8) -> rule5))]
("Dave" "is" "green" "-")
((triple8) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is cold.
True
3
proof
[(((((triple8) -> rule5)) -> rule3))]
("Dave" "is" "cold" "+")
((((triple8) -> (rule5 % int2))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Anne is not green.
False
3
inv-proof
[(((((triple1) -> rule6)) -> rule5))]
("Anne" "is" "green" "-")
((((triple1) -> (rule6 % int2))) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Erin is blue.
True
5
proof
[(((triple9 ((((triple9) -> rule6)) -> rule5)) -> rule2))]
("Erin" "is" "blue" "+")
((triple9 ((((triple9) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is not blue.
False
5
inv-proof
[(((triple9 ((((triple9) -> rule6)) -> rule5)) -> rule2))]
("Erin" "is" "blue" "-")
((triple9 ((((triple9) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is not quiet.
Unknown
inv-random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "-")
Anne is quiet.
Unknown
random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "+")
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is rough.[(triple3)] Dave is blue.[(triple4 OR ((((((triple8) -> rule5)) -> rule3) ((triple8) -> rule5)) -> rule2))] Dave is furry.[(triple5)] Dave is quiet.[(triple6)] Dave is rough.[(triple7)] Dave is white.[(triple8)] Erin is cold.[(triple9)] Erin is furry.[(triple10)] @1: Anne is white.[(((triple1) -> rule6))] Dave is green.[(((triple8) -> rule5))] Erin is white.[(((triple9) -> rule6))] @2: Anne is green.[(((((triple1) -> rule6)) -> rule5))] Dave is cold.[(((((triple8) -> rule5)) -> rule3))] Erin is green.[(((((triple9) -> rule6)) -> rule5))] @3: Anne is blue.[(((triple1 ((((triple1) -> rule6)) -> rule5)) -> rule2))] Erin is blue.[(((triple9 ((((triple9) -> rule6)) -> rule5)) -> rule2))] @4: Erin is rough.[(((((triple9) -> rule6) ((triple9 ((((triple9) -> rule6)) -> rule5)) -> rule2)) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple3
Dave is blue.
("Dave" "is" "blue" "+")
triple4
((((((triple8) -> (rule5 % int3))) -> (rule3 % int2)) ((triple8) -> (rule5 % int3))) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
triple5
Dave is quiet.
("Dave" "is" "quiet" "+")
triple6
Dave is rough.
("Dave" "is" "rough" "+")
triple7
Dave is white.
("Dave" "is" "white" "+")
triple8
Erin is cold.
("Erin" "is" "cold" "+")
triple9
Erin is furry.
("Erin" "is" "furry" "+")
triple10
Anne is white.
("Anne" "is" "white" "+")
((triple1) -> (rule6 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple8) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
((triple9) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
((((triple1) -> (rule6 % int2))) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
((((triple8) -> (rule5 % int2))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
((((triple9) -> (rule6 % int2))) -> (rule5 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
((triple1 ((((triple1) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
((triple9 ((((triple9) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
((((triple9) -> (rule6 % int4)) ((triple9 ((((triple9) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4