The bald eagle chases the cow. The bald eagle is not green. The bald eagle needs the cat. The bald eagle needs the cow. The bald eagle needs the squirrel. The cat chases the bald eagle. The cat needs the squirrel. The cow is not big. The cow is young. The cow likes the cat. The cow needs the cat. The cow does not need the squirrel. The squirrel does not chase the bald eagle. The squirrel likes the cow. The squirrel does not need the bald eagle. The squirrel needs the cow. If something chases the cat then it chases the bald eagle. If something needs the bald eagle then it chases the cow. If the bald eagle needs the cat then the bald eagle is big. If something is big then it chases the cat. If something chases the squirrel and the squirrel chases the cow then the squirrel does not chase the cat. If something is big then it does not like the cow. If something needs the cat and it is not green then the cat likes the squirrel. If something likes the bald eagle and the bald eagle does not like the cow then the bald eagle needs the cow.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle is not green.
("bald eagle" "is" "green" "-")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
The cow is not big.
("cow" "is" "big" "-")
The cow is young.
("cow" "is" "young" "+")
The cow likes the cat.
("cow" "likes" "cat" "+")
The cow needs the cat.
("cow" "needs" "cat" "+")
The cow does not need the squirrel.
("cow" "needs" "squirrel" "-")
The squirrel does not chase the bald eagle.
("squirrel" "chases" "bald eagle" "-")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
The squirrel does not need the bald eagle.
("squirrel" "needs" "bald eagle" "-")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
If something chases the cat then it chases the bald eagle.
((("something" "chases" "cat" "+")) -> ("something" "chases" "bald eagle" "+"))
If something needs the bald eagle then it chases the cow.
((("something" "needs" "bald eagle" "+")) -> ("something" "chases" "cow" "+"))
If the bald eagle needs the cat then the bald eagle is big.
((("bald eagle" "needs" "cat" "+")) -> ("bald eagle" "is" "big" "+"))
If something is big then it chases the cat.
((("something" "is" "big" "+")) -> ("something" "chases" "cat" "+"))
If something chases the squirrel and the squirrel chases the cow then the squirrel does not chase the cat.
((("something" "chases" "squirrel" "+") ("squirrel" "chases" "cow" "+")) -> ("squirrel" "chases" "cat" "-"))
If something is big then it does not like the cow.
((("something" "is" "big" "+")) -> ("something" "likes" "cow" "-"))
If something needs the cat and it is not green then the cat likes the squirrel.
((("something" "needs" "cat" "+") ("something" "is" "green" "~")) -> ("cat" "likes" "squirrel" "+"))
If something likes the bald eagle and the bald eagle does not like the cow then the bald eagle needs the cow.
((("something" "likes" "bald eagle" "+") ("bald eagle" "likes" "cow" "~")) -> ("bald eagle" "needs" "cow" "+"))
The cow does not need the squirrel.
True
1
proof
[(triple12)]
("cow" "needs" "squirrel" "-")
triple12
The bald eagle does not need the squirrel.
False
1
inv-proof
[(triple5)]
("bald eagle" "needs" "squirrel" "-")
triple5
The bald eagle is big.
True
2
proof
[(((triple3) -> rule3))]
("bald eagle" "is" "big" "+")
((triple3) -> (rule3 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The cat does not like the squirrel.
False
3
inv-proof
[(((triple3 triple2) -> rule7))]
("cat" "likes" "squirrel" "-")
((triple3 triple2) -> (rule7 % int1))
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int1
The bald eagle chases the cat.
True
3
proof
[(((((triple3) -> rule3)) -> rule4))]
("bald eagle" "chases" "cat" "+")
((((triple3) -> (rule3 % int2))) -> (rule4 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The bald eagle likes the cow.
False
3
inv-proof
[(((((triple3) -> rule3)) -> rule6))]
("bald eagle" "likes" "cow" "+")
((((triple3) -> (rule3 % int2))) -> (rule6 % int1))
The bald eagle does not like the cow.
("bald eagle" "likes" "cow" "-")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The bald eagle chases the bald eagle.
True
4
proof
[(((((((triple3) -> rule3)) -> rule4)) -> rule1))]
("bald eagle" "chases" "bald eagle" "+")
((((((triple3) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
int3
The bald eagle does not chase the bald eagle.
False
4
inv-proof
[(((((((triple3) -> rule3)) -> rule4)) -> rule1))]
("bald eagle" "chases" "bald eagle" "-")
((((((triple3) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
int3
The cow does not chase the bald eagle.
Unknown
inv-rconc
[@2: The cow chases the bald eagle.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("cow" "chases" "bald eagle" "-")
The squirrel chases the cow.
Unknown
rconc
[@1: The squirrel chases the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "chases" "cow" "+")
The squirrel does not chase the cat.
Unknown
inv-rconc
[@1: The squirrel chases the cat.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "chases" "cat" "-")
The cat chases the cow.
Unknown
rconc
[@1: The cat chases the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "chases" "cow" "+")
The cat is not young.
Unknown
inv-random
[@0: The cat is young.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "young" "-")
The squirrel is big.
Unknown
random
[@0: The squirrel is big.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "big" "+")
The cat does not like the bald eagle.
Unknown
inv-random
[@0: The cat likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "bald eagle" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is not green.[(triple2)] The bald eagle needs the cat.[(triple3)] The bald eagle needs the cow.[(triple4)] The bald eagle needs the squirrel.[(triple5)] The cat chases the bald eagle.[(triple6)] The cat needs the squirrel.[(triple7)] The cow does not need the squirrel.[(triple12)] The cow is not big.[(triple8)] The cow is young.[(triple9)] The cow likes the cat.[(triple10)] The cow needs the cat.[(triple11)] The squirrel does not chase the bald eagle.[(triple13)] The squirrel does not need the bald eagle.[(triple15)] The squirrel likes the cow.[(triple14)] The squirrel needs the cow.[(triple16)] @1: The bald eagle is big.[(((triple3) -> rule3))] The cat likes the squirrel.[(((triple3 triple2) -> rule7))] @2: The bald eagle chases the cat.[(((((triple3) -> rule3)) -> rule4))] The bald eagle does not like the cow.[(((((triple3) -> rule3)) -> rule6))] @3: The bald eagle chases the bald eagle.[(((((((triple3) -> rule3)) -> rule4)) -> rule1))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle is not green.
("bald eagle" "is" "green" "-")
triple2
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple3
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple4
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple5
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple6
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
triple7
The cow does not need the squirrel.
("cow" "needs" "squirrel" "-")
triple12
The cow is not big.
("cow" "is" "big" "-")
triple8
The cow is young.
("cow" "is" "young" "+")
triple9
The cow likes the cat.
("cow" "likes" "cat" "+")
triple10
The cow needs the cat.
("cow" "needs" "cat" "+")
triple11
The squirrel does not chase the bald eagle.
("squirrel" "chases" "bald eagle" "-")
triple13
The squirrel does not need the bald eagle.
("squirrel" "needs" "bald eagle" "-")
triple15
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple14
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple16
The bald eagle is big.
("bald eagle" "is" "big" "+")
((triple3) -> (rule3 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
((triple3 triple2) -> (rule7 % int1))
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
((((triple3) -> (rule3 % int2))) -> (rule4 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The bald eagle does not like the cow.
("bald eagle" "likes" "cow" "-")
((((triple3) -> (rule3 % int2))) -> (rule6 % int1))
The bald eagle does not like the cow.
("bald eagle" "likes" "cow" "-")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((((((triple3) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
int3