The bear likes the cow. The cow needs the bear. If the cow needs the bear then the cow is cold. If the cow is cold and the cow needs the bear then the bear needs the cow.
The bear likes the cow.
("bear" "likes" "cow" "+")
The cow needs the bear.
("cow" "needs" "bear" "+")
If the cow needs the bear then the cow is cold.
((("cow" "needs" "bear" "+")) -> ("cow" "is" "cold" "+"))
If the cow is cold and the cow needs the bear then the bear needs the cow.
((("cow" "is" "cold" "+") ("cow" "needs" "bear" "+")) -> ("bear" "needs" "cow" "+"))
The bear likes the cow.
True
1
proof
[(triple1)]
("bear" "likes" "cow" "+")
triple1
The cow does not need the bear.
False
1
inv-proof
[(triple2)]
("cow" "needs" "bear" "-")
triple2
The cow is cold.
True
2
proof
[(((triple2) -> rule1))]
("cow" "is" "cold" "+")
((triple2) -> (rule1 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow is not cold.
False
2
inv-proof
[(((triple2) -> rule1))]
("cow" "is" "cold" "-")
((triple2) -> (rule1 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The bear needs the cow.
True
4
proof
[(((((triple2) -> rule1) triple2) -> rule2))]
("bear" "needs" "cow" "+")
((((triple2) -> (rule1 % int2)) triple2) -> (rule2 % int1))
The bear needs the cow.
("bear" "needs" "cow" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The bear does not need the cow.
False
4
inv-proof
[(((((triple2) -> rule1) triple2) -> rule2))]
("bear" "needs" "cow" "-")
((((triple2) -> (rule1 % int2)) triple2) -> (rule2 % int1))
The bear needs the cow.
("bear" "needs" "cow" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The bear does not like the bear.
Unknown
inv-random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
The bear does not eat the cow.
Unknown
inv-random
[@0: The bear eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "cow" "-")
The bear is blue.
Unknown
random
[@0: The bear is blue.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "blue" "+")
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 needs the cow.
Unknown
random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "+")
@0: The bear likes the cow.[(triple1)] The cow needs the bear.[(triple2)] @1: The cow is cold.[(((triple2) -> rule1))] @2: The bear needs the cow.[(((((triple2) -> rule1) triple2) -> rule2))]
The bear likes the cow.
("bear" "likes" "cow" "+")
triple1
The cow needs the bear.
("cow" "needs" "bear" "+")
triple2
The cow is cold.
("cow" "is" "cold" "+")
((triple2) -> (rule1 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The bear needs the cow.
("bear" "needs" "cow" "+")
((((triple2) -> (rule1 % int2)) triple2) -> (rule2 % int1))
The bear needs the cow.
("bear" "needs" "cow" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2