The bear does not eat the squirrel. The bear is big. The bear is not green. The bear likes the cow. The bear likes the squirrel. The cow chases the squirrel. The cow does not eat the bear. The cow eats the squirrel. The cow is big. The cow is green. The cow likes the squirrel. The squirrel chases the cow. The squirrel eats the bear. The squirrel is green. The squirrel is young. If someone eats the bear and they like the cow then the cow chases the bear. If someone chases the bear then the bear likes the squirrel. If the bear chases the cow and the cow is green then the bear likes the cow. If someone chases the squirrel then they are blue. If someone chases the cow and the cow chases the bear then they chase the bear. If someone likes the bear then the bear is young. If someone is blue then they like the bear. If someone eats the cow and they do not chase the cow then the cow likes the squirrel.
The bear does not eat the squirrel.
("bear" "eats" "squirrel" "-")
The bear is big.
("bear" "is" "big" "+")
The bear is not green.
("bear" "is" "green" "-")
The bear likes the cow.
("bear" "likes" "cow" "+")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow does not eat the bear.
("cow" "eats" "bear" "-")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is green.
("cow" "is" "green" "+")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
If someone eats the bear and they like the cow then the cow chases the bear.
((("someone" "eats" "bear" "+") ("someone" "likes" "cow" "+")) -> ("cow" "chases" "bear" "+"))
If someone chases the bear then the bear likes the squirrel.
((("someone" "chases" "bear" "+")) -> ("bear" "likes" "squirrel" "+"))
If the bear chases the cow and the cow is green then the bear likes the cow.
((("bear" "chases" "cow" "+") ("cow" "is" "green" "+")) -> ("bear" "likes" "cow" "+"))
If someone chases the squirrel then they are blue.
((("someone" "chases" "squirrel" "+")) -> ("someone" "is" "blue" "+"))
If someone chases the cow and the cow chases the bear then they chase the bear.
((("someone" "chases" "cow" "+") ("cow" "chases" "bear" "+")) -> ("someone" "chases" "bear" "+"))
If someone likes the bear then the bear is young.
((("someone" "likes" "bear" "+")) -> ("bear" "is" "young" "+"))
If someone is blue then they like the bear.
((("someone" "is" "blue" "+")) -> ("someone" "likes" "bear" "+"))
If someone eats the cow and they do not chase the cow then the cow likes the squirrel.
((("someone" "eats" "cow" "+") ("someone" "chases" "cow" "~")) -> ("cow" "likes" "squirrel" "+"))
The cow is big.
True
1
proof
[(triple9)]
("cow" "is" "big" "+")
triple9
The squirrel is not young.
False
1
inv-proof
[(triple15)]
("squirrel" "is" "young" "-")
triple15
The cow is blue.
True
2
proof
[(((triple6) -> rule4))]
("cow" "is" "blue" "+")
((triple6) -> (rule4 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow is not blue.
False
2
inv-proof
[(((triple6) -> rule4))]
("cow" "is" "blue" "-")
((triple6) -> (rule4 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow likes the bear.
True
3
proof
[(((((triple6) -> rule4)) -> rule7))]
("cow" "likes" "bear" "+")
((((triple6) -> (rule4 % int2))) -> (rule7 % int1))
The cow likes the bear.
("cow" "likes" "bear" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow does not like the bear.
False
3
inv-proof
[(((((triple6) -> rule4)) -> rule7))]
("cow" "likes" "bear" "-")
((((triple6) -> (rule4 % int2))) -> (rule7 % int1))
The cow likes the bear.
("cow" "likes" "bear" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The bear is young.
True
4
proof
[(((((((triple6) -> rule4)) -> rule7)) -> rule6))]
("bear" "is" "young" "+")
((((((triple6) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The cow likes the bear.
("cow" "likes" "bear" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
int3
The bear is not young.
False
4
inv-proof
[(((((((triple6) -> rule4)) -> rule7)) -> rule6))]
("bear" "is" "young" "-")
((((((triple6) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The cow likes the bear.
("cow" "likes" "bear" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
int3
The bear does not chase the bear.
Unknown
inv-rconc
[@1: The bear chases the bear.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "chases" "bear" "-")
The bear is blue.
Unknown
rconc
[@1: The bear is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "is" "blue" "+")
The squirrel does not chase the bear.
Unknown
inv-rconc
[@2: The squirrel chases the bear.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("squirrel" "chases" "bear" "-")
The squirrel likes the bear.
Unknown
rconc
[@2: The squirrel likes the bear.[CWA. Example of deepest failure = (rule7 <- rule4 <- FAIL)]]
("squirrel" "likes" "bear" "+")
The cow is not cold.
Unknown
inv-random
[@0: The cow is cold.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "cold" "-")
The squirrel is cold.
Unknown
random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "+")
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 is young.
Unknown
random
[@0: The cow is young.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "young" "+")
@0: The bear does not eat the squirrel.[(triple1)] The bear is big.[(triple2)] The bear is not green.[(triple3)] The bear likes the cow.[(triple4)] The bear likes the squirrel.[(triple5)] The cow chases the squirrel.[(triple6)] The cow does not eat the bear.[(triple7)] The cow eats the squirrel.[(triple8)] The cow is big.[(triple9)] The cow is green.[(triple10)] The cow likes the squirrel.[(triple11)] The squirrel chases the cow.[(triple12)] The squirrel eats the bear.[(triple13)] The squirrel is green.[(triple14)] The squirrel is young.[(triple15)] @1: The cow is blue.[(((triple6) -> rule4))] @2: The cow likes the bear.[(((((triple6) -> rule4)) -> rule7))] @3: The bear is young.[(((((((triple6) -> rule4)) -> rule7)) -> rule6))]
The bear does not eat the squirrel.
("bear" "eats" "squirrel" "-")
triple1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear is not green.
("bear" "is" "green" "-")
triple3
The bear likes the cow.
("bear" "likes" "cow" "+")
triple4
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple5
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple6
The cow does not eat the bear.
("cow" "eats" "bear" "-")
triple7
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple8
The cow is big.
("cow" "is" "big" "+")
triple9
The cow is green.
("cow" "is" "green" "+")
triple10
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple11
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple12
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple13
The squirrel is green.
("squirrel" "is" "green" "+")
triple14
The squirrel is young.
("squirrel" "is" "young" "+")
triple15
The cow is blue.
("cow" "is" "blue" "+")
((triple6) -> (rule4 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow likes the bear.
("cow" "likes" "bear" "+")
((((triple6) -> (rule4 % int2))) -> (rule7 % int1))
The cow likes the bear.
("cow" "likes" "bear" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The bear is young.
("bear" "is" "young" "+")
((((((triple6) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The cow likes the bear.
("cow" "likes" "bear" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
int3