The cow is blue. Round things are red. If the cow is blue then the cow is round. If the cow is round and the cow is red then the cow is cold.
The cow is blue.
("cow" "is" "blue" "+")
Round things are red.
((("something" "is" "round" "+")) -> ("something" "is" "red" "+"))
If the cow is blue then the cow is round.
((("cow" "is" "blue" "+")) -> ("cow" "is" "round" "+"))
If the cow is round and the cow is red then the cow is cold.
((("cow" "is" "round" "+") ("cow" "is" "red" "+")) -> ("cow" "is" "cold" "+"))
The cow is blue.
True
1
proof
[(triple1)]
("cow" "is" "blue" "+")
triple1
The cow is not blue.
False
1
inv-proof
[(triple1)]
("cow" "is" "blue" "-")
triple1
The cow is round.
True
2
proof
[(((triple1) -> rule2))]
("cow" "is" "round" "+")
((triple1) -> (rule2 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow is not round.
False
2
inv-proof
[(((triple1) -> rule2))]
("cow" "is" "round" "-")
((triple1) -> (rule2 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow is red.
True
3
proof
[(((((triple1) -> rule2)) -> rule1))]
("cow" "is" "red" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
The cow is not red.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule1))]
("cow" "is" "red" "-")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
The cow is cold.
True
6
proof
[(((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule1)) -> rule3))]
("cow" "is" "cold" "+")
((((triple1) -> (rule2 % int3)) ((((triple1) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The cow is not cold.
False
6
inv-proof
[(((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule1)) -> rule3))]
("cow" "is" "cold" "-")
((((triple1) -> (rule2 % int3)) ((((triple1) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The cow does not like the cow.
Unknown
inv-random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "-")
The cow is rough.
Unknown
random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "+")
The cow does not need the cow.
Unknown
inv-random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "-")
The cow visits the cow.
Unknown
random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "+")
@0: The cow is blue.[(triple1)] @1: The cow is round.[(((triple1) -> rule2))] @2: The cow is red.[(((((triple1) -> rule2)) -> rule1))] @3: The cow is cold.[(((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule1)) -> rule3))]
The cow is blue.
("cow" "is" "blue" "+")
triple1
The cow is round.
("cow" "is" "round" "+")
((triple1) -> (rule2 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow is red.
("cow" "is" "red" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
((((triple1) -> (rule2 % int3)) ((((triple1) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3