The bear does not eat the cow. The bear is cold. The bear is green. The bear likes the cow. The cow eats the bear. The cow is not big. The cow is blue. The cow is green. The cow likes the bear. The cow needs the bear. If something needs the bear then it is green. If something eats the cow then it does not like the bear. If something needs the bear and it eats the bear then it does not eat the cow.
The bear does not eat the cow.
("bear" "eats" "cow" "-")
The bear is cold.
("bear" "is" "cold" "+")
The bear is green.
("bear" "is" "green" "+")
The bear likes the cow.
("bear" "likes" "cow" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow is not big.
("cow" "is" "big" "-")
The cow is blue.
("cow" "is" "blue" "+")
The cow is green.
("cow" "is" "green" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The cow needs the bear.
("cow" "needs" "bear" "+")
If something needs the bear then it is green.
((("something" "needs" "bear" "+")) -> ("something" "is" "green" "+"))
If something eats the cow then it does not like the bear.
((("something" "eats" "cow" "+")) -> ("something" "likes" "bear" "-"))
If something needs the bear and it eats the bear then it does not eat the cow.
((("something" "needs" "bear" "+") ("something" "eats" "bear" "+")) -> ("something" "eats" "cow" "-"))
The cow eats the bear.
True
1
proof
[(triple5)]
("cow" "eats" "bear" "+")
triple5
The cow is not green.
False
1
inv-proof
[(triple8 OR ((triple10) -> rule1))]
("cow" "is" "green" "-")
triple8
((triple10) -> (rule1 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow does not eat the cow.
True
3
proof
[(((triple10 triple5) -> rule3))]
("cow" "eats" "cow" "-")
((triple10 triple5) -> (rule3 % int1))
The cow does not eat the cow.
("cow" "eats" "cow" "-")
int1
The cow eats the cow.
False
3
inv-proof
[(((triple10 triple5) -> rule3))]
("cow" "eats" "cow" "+")
((triple10 triple5) -> (rule3 % int1))
The cow does not eat the cow.
("cow" "eats" "cow" "-")
int1
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 cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
The cow is not rough.
Unknown
inv-random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
@0: The bear does not eat the cow.[(triple1)] The bear is cold.[(triple2)] The bear is green.[(triple3)] The bear likes the cow.[(triple4)] The cow eats the bear.[(triple5)] The cow is blue.[(triple7)] The cow is green.[(triple8 OR ((triple10) -> rule1))] The cow is not big.[(triple6)] The cow likes the bear.[(triple9)] The cow needs the bear.[(triple10)] @1: The cow does not eat the cow.[(((triple10 triple5) -> rule3))]
The bear does not eat the cow.
("bear" "eats" "cow" "-")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple2
The bear is green.
("bear" "is" "green" "+")
triple3
The bear likes the cow.
("bear" "likes" "cow" "+")
triple4
The cow eats the bear.
("cow" "eats" "bear" "+")
triple5
The cow is blue.
("cow" "is" "blue" "+")
triple7
The cow is green.
("cow" "is" "green" "+")
triple8
((triple10) -> (rule1 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is not big.
("cow" "is" "big" "-")
triple6
The cow likes the bear.
("cow" "likes" "bear" "+")
triple9
The cow needs the bear.
("cow" "needs" "bear" "+")
triple10
The cow does not eat the cow.
("cow" "eats" "cow" "-")
((triple10 triple5) -> (rule3 % int1))
The cow does not eat the cow.
("cow" "eats" "cow" "-")
int1