The bald eagle likes the squirrel. The cow eats the squirrel. The cow is not kind. The dog does not chase the bald eagle. The dog does not chase the cow. The dog does not eat the bald eagle. The dog is green. The squirrel chases the dog. The squirrel is green. The squirrel likes the cow. If someone likes the squirrel and they chase the bald eagle then the bald eagle chases the squirrel. If someone likes the cow and the cow likes the squirrel then they do not like the squirrel. If someone eats the squirrel then the squirrel eats the cow. If someone likes the cow and they do not chase the dog then the cow eats the dog. If someone eats the cow then they like the dog. If someone likes the squirrel and they do not like the bald eagle then the squirrel is not rough. If someone likes the dog then the dog does not like the cow. If someone chases the dog then the dog is not young.
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow is not kind.
("cow" "is" "kind" "-")
The dog does not chase the bald eagle.
("dog" "chases" "bald eagle" "-")
The dog does not chase the cow.
("dog" "chases" "cow" "-")
The dog does not eat the bald eagle.
("dog" "eats" "bald eagle" "-")
The dog is green.
("dog" "is" "green" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
If someone likes the squirrel and they chase the bald eagle then the bald eagle chases the squirrel.
((("someone" "likes" "squirrel" "+") ("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "chases" "squirrel" "+"))
If someone likes the cow and the cow likes the squirrel then they do not like the squirrel.
((("someone" "likes" "cow" "+") ("cow" "likes" "squirrel" "+")) -> ("someone" "likes" "squirrel" "-"))
If someone eats the squirrel then the squirrel eats the cow.
((("someone" "eats" "squirrel" "+")) -> ("squirrel" "eats" "cow" "+"))
If someone likes the cow and they do not chase the dog then the cow eats the dog.
((("someone" "likes" "cow" "+") ("someone" "chases" "dog" "~")) -> ("cow" "eats" "dog" "+"))
If someone eats the cow then they like the dog.
((("someone" "eats" "cow" "+")) -> ("someone" "likes" "dog" "+"))
If someone likes the squirrel and they do not like the bald eagle then the squirrel is not rough.
((("someone" "likes" "squirrel" "+") ("someone" "likes" "bald eagle" "~")) -> ("squirrel" "is" "rough" "-"))
If someone likes the dog then the dog does not like the cow.
((("someone" "likes" "dog" "+")) -> ("dog" "likes" "cow" "-"))
If someone chases the dog then the dog is not young.
((("someone" "chases" "dog" "+")) -> ("dog" "is" "young" "-"))
The squirrel chases the dog.
True
1
proof
[(triple8)]
("squirrel" "chases" "dog" "+")
triple8
The cow does not eat the squirrel.
False
1
inv-proof
[(triple2)]
("cow" "eats" "squirrel" "-")
triple2
The squirrel eats the cow.
True
2
proof
[(((triple2) -> rule3))]
("squirrel" "eats" "cow" "+")
((triple2) -> (rule3 % int1))
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int1
The dog is young.
False
2
inv-proof
[(((triple8) -> rule8))]
("dog" "is" "young" "+")
((triple8) -> (rule8 % int1))
The dog is not young.
("dog" "is" "young" "-")
int1
The squirrel likes the dog.
True
3
proof
[(((((triple2) -> rule3)) -> rule5))]
("squirrel" "likes" "dog" "+")
((((triple2) -> (rule3 % int2))) -> (rule5 % int1))
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int1
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int2
The squirrel does not like the dog.
False
3
inv-proof
[(((((triple2) -> rule3)) -> rule5))]
("squirrel" "likes" "dog" "-")
((((triple2) -> (rule3 % int2))) -> (rule5 % int1))
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int1
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int2
The dog does not like the cow.
True
4
proof
[(((((((triple2) -> rule3)) -> rule5)) -> rule7))]
("dog" "likes" "cow" "-")
((((((triple2) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The dog does not like the cow.
("dog" "likes" "cow" "-")
int1
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int2
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int3
The dog likes the cow.
False
4
inv-proof
[(((((((triple2) -> rule3)) -> rule5)) -> rule7))]
("dog" "likes" "cow" "+")
((((((triple2) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The dog does not like the cow.
("dog" "likes" "cow" "-")
int1
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int2
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int3
The dog does not like the dog.
Unknown
inv-rconc
[@1: The dog likes the dog.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "likes" "dog" "-")
The bald eagle likes the dog.
Unknown
rconc
[@1: The bald eagle likes the dog.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "likes" "dog" "+")
The cow does not like the dog.
Unknown
inv-rconc
[@1: The cow likes the dog.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "likes" "dog" "-")
The bald eagle chases the squirrel.
Unknown
rconc
[@1: The bald eagle chases the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "chases" "squirrel" "+")
The cow does not chase the dog.
Unknown
inv-random
[@0: The cow chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "dog" "-")
The squirrel is kind.
Unknown
random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "+")
The cow is not young.
Unknown
inv-random
[@0: The cow is young.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "young" "-")
The dog eats the squirrel.
Unknown
random
[@0: The dog eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "squirrel" "+")
@0: The bald eagle likes the squirrel.[(triple1)] The cow eats the squirrel.[(triple2)] The cow is not kind.[(triple3)] The dog does not chase the bald eagle.[(triple4)] The dog does not chase the cow.[(triple5)] The dog does not eat the bald eagle.[(triple6)] The dog is green.[(triple7)] The squirrel chases the dog.[(triple8)] The squirrel is green.[(triple9)] The squirrel likes the cow.[(triple10)] @1: The dog is not young.[(((triple8) -> rule8))] The squirrel eats the cow.[(((triple2) -> rule3))] @2: The squirrel likes the dog.[(((((triple2) -> rule3)) -> rule5))] @3: The dog does not like the cow.[(((((((triple2) -> rule3)) -> rule5)) -> rule7))]
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple1
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple2
The cow is not kind.
("cow" "is" "kind" "-")
triple3
The dog does not chase the bald eagle.
("dog" "chases" "bald eagle" "-")
triple4
The dog does not chase the cow.
("dog" "chases" "cow" "-")
triple5
The dog does not eat the bald eagle.
("dog" "eats" "bald eagle" "-")
triple6
The dog is green.
("dog" "is" "green" "+")
triple7
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple8
The squirrel is green.
("squirrel" "is" "green" "+")
triple9
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple10
The dog is not young.
("dog" "is" "young" "-")
((triple8) -> (rule8 % int1))
The dog is not young.
("dog" "is" "young" "-")
int1
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
((triple2) -> (rule3 % int1))
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int1
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
((((triple2) -> (rule3 % int2))) -> (rule5 % int1))
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int1
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int2
The dog does not like the cow.
("dog" "likes" "cow" "-")
((((((triple2) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The dog does not like the cow.
("dog" "likes" "cow" "-")
int1
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int2
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int3