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