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