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