Anne is round. Bob is white. Erin is white. If something is white and green then it is quiet. Round, big things are green. Round things are green. If something is green then it is white. If Anne is green and Anne is cold then Anne is quiet. If Bob is big and Bob is white then Bob is green. All white things are rough. White things are round.
Anne is round.
("Anne" "is" "round" "+")
Bob is white.
("Bob" "is" "white" "+")
Erin is white.
("Erin" "is" "white" "+")
If something is white and green then it is quiet.
((("something" "is" "white" "+") ("something" "is" "green" "+")) -> ("something" "is" "quiet" "+"))
Round, big things are green.
((("something" "is" "round" "+") ("something" "is" "big" "+")) -> ("something" "is" "green" "+"))
Round things are green.
((("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
If something is green then it is white.
((("something" "is" "green" "+")) -> ("something" "is" "white" "+"))
If Anne is green and Anne is cold then Anne is quiet.
((("Anne" "is" "green" "+") ("Anne" "is" "cold" "+")) -> ("Anne" "is" "quiet" "+"))
If Bob is big and Bob is white then Bob is green.
((("Bob" "is" "big" "+") ("Bob" "is" "white" "+")) -> ("Bob" "is" "green" "+"))
All white things are rough.
((("something" "is" "white" "+")) -> ("something" "is" "rough" "+"))
White things are round.
((("something" "is" "white" "+")) -> ("something" "is" "round" "+"))
Anne is round.
True
1
proof
[(triple1)]
("Anne" "is" "round" "+")
triple1
Bob is not white.
False
1
inv-proof
[(triple2)]
("Bob" "is" "white" "-")
triple2
Erin is rough.
True
2
proof
[(((triple3) -> rule7))]
("Erin" "is" "rough" "+")
((triple3) -> (rule7 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Anne is not green.
False
2
inv-proof
[(((triple1) -> rule3))]
("Anne" "is" "green" "-")
((triple1) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is white.
True
3
proof
[(((((triple1) -> rule3)) -> rule4))]
("Anne" "is" "white" "+")
((((triple1) -> (rule3 % int2))) -> (rule4 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Erin is not green.
False
3
inv-proof
[(((((triple3) -> rule8)) -> rule3))]
("Erin" "is" "green" "-")
((((triple3) -> (rule8 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is not big.
Unknown
inv-random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "-")
Anne is big.
Unknown
random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
Erin is not cold.
Unknown
inv-random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Anne is round.[(triple1)] Bob is white.[(triple2)] Erin is white.[(triple3)] @1: Anne is green.[(((triple1) -> rule3))] Bob is rough.[(((triple2) -> rule7))] Bob is round.[(((triple2) -> rule8))] Erin is rough.[(((triple3) -> rule7))] Erin is round.[(((triple3) -> rule8))] @2: Anne is white.[(((((triple1) -> rule3)) -> rule4))] Bob is green.[(((((triple2) -> rule8)) -> rule3))] Erin is green.[(((((triple3) -> rule8)) -> rule3))] @3: Anne is quiet.[(((((((triple1) -> rule3)) -> rule4) ((triple1) -> rule3)) -> rule1))] Anne is rough.[(((((((triple1) -> rule3)) -> rule4)) -> rule7))] Bob is quiet.[(((triple2 ((((triple2) -> rule8)) -> rule3)) -> rule1))] Erin is quiet.[(((triple3 ((((triple3) -> rule8)) -> rule3)) -> rule1))]
Anne is round.
("Anne" "is" "round" "+")
triple1
Bob is white.
("Bob" "is" "white" "+")
triple2
Erin is white.
("Erin" "is" "white" "+")
triple3
Anne is green.
("Anne" "is" "green" "+")
((triple1) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((triple2) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((triple2) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
((triple3) -> (rule7 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
((triple3) -> (rule8 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
((((triple1) -> (rule3 % int2))) -> (rule4 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
((((triple2) -> (rule8 % int2))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
((((triple3) -> (rule8 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
((((((triple1) -> (rule3 % int3))) -> (rule4 % int2)) ((triple1) -> (rule3 % int3))) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
((((((triple1) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
((triple2 ((((triple2) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple3 ((((triple3) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3